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