subcategories

78 rows

✎ View and edit SQL

This data as json, CSV (advanced)

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