categories_of_semigroups
1 row where parent = "Set"
This data as json, CSV (advanced)
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")
);