subcategory,parent
*Aut,SymmMonCat
AbTor,Ab
AbTor,Tor
AdicCRing,AdicRing
AdicRing,TopRing
AdmRep,RT(K₂)
Ass,Eff
Aut,Set
Ban_k,Met
BoolAlg,DistLat
BoolAlg,HeytAlg
CMon,Ab
CMon,Set*
CPO,DCPO
CW,Comp
CartSp,Ban_k
CartSp,Diff
CartSp,Vect_k
Cat,2Cat
Cat,BiCat
Comp,Haus
CompBoolAlg,BoolAlg
CompBoolAlg,CompLat
CompCat,*Aut
CompCat,TracedSymmMonCat
CompLat,Lat
DCPO,Pos
DGph,Quiv
DagCat,Cat
DagCompCat,CompCat
DagCompCat,DagCat
DblCat,2Cat
Diff,Man
DistLat,Lat
Eff,RT(K₁)
EffAdmRep,AdmRep
EffAdmRep,KV
Frm,DistLat
Frm,SupLat
Grp,Mon
HeytAlg,Pos
KV,RT(K₂)
LMet,Top
Lat,Pos
Lat,SemiLat
Man,PDiff
Mat_R,Mat_SR
Mat_k,Mat_R
Mat_k,Mat_SR
Met,PseudoMet
Mon,SemiGrp
PDiff,Top
PROP,MonCat
Poiss,Man
Pos,Cat
Pos,Set
Pros,Set
PseudoMet,SymLMet
Ring,Rng
Ring,SemiRing
SMan,STop
SemiLat,CMon
SemiLat,Pos
SemiRing,Set
Set,Ass
Set,Cat
Set,Set*
SupLat,CompLat
SymLMet,LMet
Top,AdmRep
Top,Set
TopMan,Comp
TopVect,Top
Tor,Grp
TracedSymmMonCat,SymmMonCat
Tych,Haus
Δ,FinOrd
Δ,Pos