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