78 rows sorted by subcategory

View and edit SQL

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

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options:

CREATE TABLE "subcategories" (
	"subcategory"	TEXT NOT NULL,
	"parent"	TEXT NOT NULL,
	FOREIGN KEY("parent") REFERENCES "categories"("name") on update cascade on delete restrict,
	FOREIGN KEY("subcategory") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("subcategory","parent")
);