categories_of_monoids
6 rows sorted by parent descending
This data as json, CSV (advanced)
Link | internal_monoids | parent ▲ |
---|---|---|
Top,TopMon | TopMon | Top |
Set,Mon | Mon | Set |
Mon,CMon | CMon | Mon |
Mod(Ab),Alg(Ab) | Alg(Ab) | Mod(Ab) |
Cat,MonCat | MonCat | Cat |
Ab,Ring | Ring | Ab |
Advanced export
JSON shape: default, array, newline-delimited, object
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 );