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