catabase
This data as json, CSV
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 |