limits
2 rows where diagram = "pair of points"
This data as json, CSV (advanced)
Link | diagram | is_colimit | construction |
---|---|---|---|
pair of points,0,binary product | pair of points | 0 | binary product |
pair of points,1,binary sum | pair of points | 1 | binary sum |
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") );