0 rows where parent = "TopMon"

View and edit SQL

0 records

CREATE TABLE "categories_of_commutative_monoids" (
	"internal_commutative_monoids"	TEXT NOT NULL UNIQUE,
	"parent"	TEXT NOT NULL UNIQUE,
	FOREIGN KEY("parent") REFERENCES "categories"("name"),
	FOREIGN KEY("internal_commutative_monoids") REFERENCES "categories"("name"),
	PRIMARY KEY("parent","internal_commutative_monoids")
);