categories_of_commutative_monoids
6 rows
This data as json, CSV (advanced)
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "categories_of_commutative_monoids" ( "internal_commutative_monoids" TEXT NOT NULL UNIQUE, "parent" TEXT NOT NULL UNIQUE, FOREIGN KEY("parent") REFERENCES "categories"("name"), FOREIGN KEY("internal_commutative_monoids") REFERENCES "categories"("name"), PRIMARY KEY("parent","internal_commutative_monoids") );