subcategories

78 rows sorted by subcategory descending

✎ View and edit SQL

This data as json, CSV (advanced)

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

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