double_categories
3 rows sorted by 2cells_hr descending
This data as json, CSV (advanced)
2cells_hr ✖
Link | vertical_2cat | horizontal_2cat | 2cells_hr ▲ |
---|---|---|---|
Rel,Set | Rel | Set | subrelation inclusions |
Prof,Cat | Prof | Cat | natural transformations |
Lex,Topos | Lex | Topos | natural transformations |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "double_categories" ( "vertical_2cat" TEXT NOT NULL, "horizontal_2cat" TEXT NOT NULL, "2cells_hr" TEXT NOT NULL, PRIMARY KEY("vertical_2cat","horizontal_2cat"), FOREIGN KEY("vertical_2cat") REFERENCES "categories"("name") on delete restrict on update cascade, FOREIGN KEY("horizontal_2cat") REFERENCES "categories"("name") on delete restrict on update cascade );