catabase

Custom SQL query returning 101 rows (hide)

This data as json, CSV

subcategorysupercategorykind
nCob nCob contravariant equivalence
CartSp Vect_k plain
FinVect_k Vect_k full
LieAlg_k Vect_k Lie algebras
CompCat TracedSymmMonCat plain
AbTor Tor plain
Ste TopVect full
AdicRing TopRing plain
Comp Top reflection
Haus Top full
LMet Top plain
PDiff Top plain
SoberTop Top full
TopGrp Top groups
TopMon Top monoids
TopRing Top rings
TopVect Top plain
*Aut SymmMonCat plain
TracedSymmMonCat SymmMonCat plain
PseudoMet SymLMet plain
SupLieAlg_k SupVect_k Lie algebras
Frm SupLat plain
Quant SupLat semigroups
Ban_k Ste full
Span(Set) Span(Set) contravariant equivalence
SoberTop SpLoc equivalence
SpLoc SoberTop equivalence
CMon Set* plain
Pfn Set* equivalence
Set Set* plain
Ab Set Abelian groups
Aut Set plain
Bij Set core
CMon Set commutative monoids
FinSet Set full
Grp Set groups
Inj Set essentially wide
Mon Set monoids
Pos Set plain
Pros Set plain
Ring Set rings
SemiGrp Set semigroups
SemiRing Set plain
Surj Set essentially wide
Top Set plain
Ring SemiRing plain
Lat SemiLat plain
Mon SemiGrp plain
SMan STop plain
Cat SSet reflection
SAb SSet Abelian groups
SGrp SSet groups
SLieAlg_k SSet Lie algebras
SRing SSet rings
Ring Rng plain
CRing Ring reflection
Pfn Rel essentially wide
Rel Rel contravariant equivalence
SymmRel Rel core
AdmRep RT(K₂) plain
KV RT(K₂) plain
Eff RT(K₁) plain
DGph Quiv plain
Met PseudoMet plain
Pos Pros skeleton
Prof Prof contravariant equivalence
DCPO Pos plain
HeytAlg Pos plain
Lat Pos plain
SemiLat Pos plain
Δ Pos plain
Set Pfn total restriction
Set* Pfn equivalence
Perm Perm contravariant equivalence
PDiff PL equivalence
Man PDiff plain
PL PDiff equivalence
NormRing NormGrp commutative monoids
BrMonCat MonCat full
PROP MonCat plain
Ab Mon groups
CMon Mon monoids
Grp Mon plain
Alg(Ab) Mod(Ab) monoids
CommAlg(Ab) Mod(Ab) commutative monoids
Vect_k Mod(Ab) full
Ban_k Met plain
CompMet Met reflection
FinVect_k Mat_k equivalence
Mat_R Mat_SR plain
Mat_k Mat_SR plain
Mat_k Mat_R plain
Diff Man plain
LieGrp Man groups
Poiss Man plain
Frm Loc contravariant equivalence
SpLoc Loc full
BoolAlg Lat full
CompLat Lat plain
DistLat Lat plain
SymLMet LMet plain