2-categories
1 row where transformations_hr = "pullbacks of spans" sorted by name descending
This data as json, CSV (advanced)
name ▲ | is_strict | transformations_hr |
---|---|---|
Span(Grpd) | 0 | pullbacks of spans |
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") );