catabase

Custom SQL query returning 101 rows (hide)

This data as json, CSV

subcategorysupercategorykind
Set Pfn total restriction
Top AdmRep total restriction
FinOrd FinSet skeleton
Mat_k FinVect_k skeleton
Pos Pros skeleton
BanAlg Ban_k semigroups
Quant SupLat semigroups
SemiGrp Set semigroups
Ring Set rings
SRing SSet rings
TopRing Top rings
Ab Grp reflection
AbTorF Ab reflection
CRing Ring reflection
Cat SSet reflection
Comp Top reflection
CompMet Met reflection
*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
Alg(Ab) Mod(Ab) monoids
CMon Mon monoids
Mon Set monoids
MonCat Cat monoids
Ring Ab monoids
TopMon Top monoids