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