I don’t think so, but I would investigate creating a new real-category and using that instead. I find the quasi category confusing, especially if it’s renamed.
I don’t think so, but I would investigate creating a new real-category and using that instead. I find the quasi category confusing, especially if it’s renamed.