2-categories
1 row where name = "Prof" sorted by is_strict
This data as json, CSV (advanced)
name | is_strict ▼ | transformations_hr |
---|---|---|
Prof | 0 | natural transformations |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "2-categories" ( "name" TEXT NOT NULL UNIQUE, "is_strict" INTEGER NOT NULL, "transformations_hr" TEXT NOT NULL, FOREIGN KEY("name") REFERENCES "categories"("name") on delete restrict on update cascade, PRIMARY KEY("name") );