monoidal_categories
2 rows sorted by structure_hr
This data as json, CSV (advanced)
category | structure_hr ▼ |
---|---|
Set | categorical product |
Cat | categorical product |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "monoidal_categories" ( "category" TEXT NOT NULL, "structure_hr" INTEGER NOT NULL, FOREIGN KEY("category") REFERENCES "categories"("name") on update cascade on delete restrict, PRIMARY KEY("category") );