0 rows where category = "CRing"

View and edit SQL

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