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