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