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