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