categories_of_monoids

0 rows where parent = "Hilb₀"

✎ View and edit SQL

This data as json

0 records

CREATE TABLE "categories_of_monoids" (
	"internal_monoids"	TEXT NOT NULL UNIQUE,
	"parent"	TEXT NOT NULL UNIQUE,
	FOREIGN KEY("parent") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("parent","internal_monoids"),
	FOREIGN KEY("internal_monoids") REFERENCES "categories"("name") on update cascade on delete restrict
);