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