subcategory,supercategory,kind
Ab,Grp,reflection
AbTorF,Ab,reflection
CRing,Ring,reflection
Cat,SSet,reflection
Comp,Top,reflection
CompMet,Met,reflection