limits

1 row where construction = "binary product"

✎ View and edit SQL

This data as json, CSV (advanced)

Link diagram is_colimit construction
pair of points,0,binary product pair of points 0 binary product

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

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")
);