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