limits

12 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: diagram, is_colimit, construction

Link diagram is_colimit construction
cospan,0,pullback cospan 0 pullback
empty diagram,0,terminal object empty diagram 0 terminal object
empty diagram,1,initial object empty diagram 1 initial object
endomorphism,0,idempotent splitting endomorphism 0 idempotent splitting
endomorphism,1,idempotent splitting endomorphism 1 idempotent splitting
pair of parallel arrows,0,equalizer pair of parallel arrows 0 equalizer
pair of parallel arrows,1,coequalizer pair of parallel arrows 1 coequalizer
pair of points,0,binary product pair of points 0 binary product
pair of points,1,binary sum pair of points 1 binary sum
span,1,pushout span 1 pushout
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

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