monoidal_categories

2 rows sorted by structure_hr

✎ View and edit SQL

This data as json, CSV (advanced)

category structure_hr ▼
Set categorical product
Cat categorical product

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

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