subcategories

78 rows sorted by parent

✎ View and edit SQL

This data as json, CSV (advanced)

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

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")
);