21 rows
✎ View and edit SQL
This data as json, CSV (advanced)
Link
|
subcategory
|
supercategory
|
Ban_k,Ste |
Ban_k |
Ste |
BoolAlg,Lat |
BoolAlg |
Lat |
BrMonCat,MonCat |
BrMonCat |
MonCat |
Field,CRing |
Field |
CRing |
FinGrp,Grp |
FinGrp |
Grp |
FinHilb,Hilb |
FinHilb |
Hilb |
FinSet,Set |
FinSet |
Set |
FinVect_k,Vect_k |
FinVect_k |
Vect_k |
FinVect_q,FinVect_k |
FinVect_q |
FinVect_k |
Haus,Top |
Haus |
Top |
Hilb,Ban_k |
Hilb |
Ban_k |
Ho(Grpd),Ho(Cat) |
Ho(Grpd) |
Ho(Cat) |
PROP,CPROP |
PROP |
CPROP |
Quiv,Cat |
Quiv |
Cat |
RCat,Cat |
RCat |
Cat |
SoberTop,Top |
SoberTop |
Top |
SpLoc,Loc |
SpLoc |
Loc |
Ste,TopVect |
Ste |
TopVect |
SymmMonCat,BrMonCat |
SymmMonCat |
BrMonCat |
Vect_k,Mod(Ab) |
Vect_k |
Mod(Ab) |
Δ,Cat |
Δ |
Cat |
CREATE TABLE "full_subcategories" (
"subcategory" TEXT NOT NULL,
"supercategory" TEXT NOT NULL,
FOREIGN KEY("subcategory") REFERENCES "categories"("name") on update cascade on delete restrict,
FOREIGN KEY("supercategory") REFERENCES "categories"("name") on update cascade on delete restrict,
PRIMARY KEY("subcategory","supercategory")
);