multiset_monads
0 rows where multisets = "Ho(Top)"
This data as json
0 records
CREATE TABLE "multiset_monads" ( "base" TEXT NOT NULL UNIQUE, "multisets" TEXT NOT NULL UNIQUE, FOREIGN KEY("base") REFERENCES "categories"("name") on delete restrict on update cascade, FOREIGN KEY("multisets") REFERENCES "categories"("name") on delete restrict on update cascade, PRIMARY KEY("base","multisets") );