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