limits
2 rows where diagram = "tower"
This data as json, CSV (advanced)
| Link | diagram | is_colimit | construction |
|---|---|---|---|
| tower,0,directed limit | tower | 0 | directed limit |
| tower,1,directed colimit | tower | 1 | directed colimit |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "limits" (
"diagram" TEXT NOT NULL,
"is_colimit" INTEGER NOT NULL,
"construction" TEXT NOT NULL,
FOREIGN KEY("construction") REFERENCES "universal_objects"("construction") on update cascade on delete restrict,
FOREIGN KEY("diagram") REFERENCES "diagrams"("shape") on update cascade on delete restrict,
PRIMARY KEY("diagram","is_colimit","construction")
);