monoidal_categories

0 rows where category = "Ho(Top)"

✎ View and edit SQL

This data as json

0 records

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