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") );