subcategory,supercategory,kind
AbTorF,Ab,reflection
Hilb,Ban_k,full
SymmMonCat,BrMonCat,full
PROP,CPROP,full
Field,CRing,full
Quiv,Cat,full
RCat,Cat,full
Δ,Cat,full
FinVect_q,FinVect_k,full
Ab,Grp,reflection
FinGrp,Grp,full
FinHilb,Hilb,full
Ho(Grpd),Ho(Cat),full
BoolAlg,Lat,full
SpLoc,Loc,full
CompMet,Met,reflection
Vect_k,Mod(Ab),full
BrMonCat,MonCat,full
CRing,Ring,reflection
Cat,SSet,reflection
FinSet,Set,full
Ban_k,Ste,full
Comp,Top,reflection
Haus,Top,full
SoberTop,Top,full
Ste,TopVect,full
FinVect_k,Vect_k,full