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