2-categories
1 row where name = "CompCat"
This data as json, CSV (advanced)
| name ▼ | is_strict | transformations_hr |
|---|---|---|
| CompCat | 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")
);