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