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