double_categories
1 row where vertical_2cat = "Prof"
This data as json, CSV (advanced)
Link | vertical_2cat | horizontal_2cat | 2cells_hr |
---|---|---|---|
Prof,Cat | Prof | Cat | 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 );