Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have created a “floating TOC” notions of subcategory and have included it in the relevant entries
Maybe a better and simpler title would be simply “subcategories” (this is a topic and it is potentially a bit wider than listing kinds of subcategories, for example it would include torsion theory which is a couple of subcategories satisfying some axioms). I think we also have entry thick subcategory.
But here is somewhat related genuine question, not for subcategories but subfunctors. There is something I called in one paper “equivalence of subfunctors” and I did not know the standard term. Maybe somebody does ? So let be subfunctors of a functor in which is a category with images. We say that is equivalent to if there is a natural automorphism such that for every the restriction is isomorphism onto . Thus, roughly speaking there is an natural isomorphism of functors which extends to a natural automorphism of .
I have added thick subcategory and Serre subcategory and topologizing subcategory to the list.
added bireflective subcategory and touched the formatting of the first few lines
1 to 5 of 5