2-categories
1 row where name = "Prof"
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") );