categories_of_semigroups
3 rows
This data as json, CSV (advanced)
Link | internal_semigroups | parent |
---|---|---|
Ban_k,BanAlg | BanAlg | Ban_k |
Set,SemiGrp | SemiGrp | Set |
SupLat,Quant | Quant | SupLat |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "categories_of_semigroups" ( "internal_semigroups" TEXT NOT NULL UNIQUE, "parent" TEXT NOT NULL UNIQUE, FOREIGN KEY("parent") REFERENCES "categories"("name"), FOREIGN KEY("internal_semigroups") REFERENCES "categories"("name"), PRIMARY KEY("parent","internal_semigroups") );