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