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