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