diagram,is_colimit,construction
cospan,0,pullback
empty diagram,0,terminal object
empty diagram,1,initial object
endomorphism,0,idempotent splitting
endomorphism,1,idempotent splitting
pair of parallel arrows,0,equalizer
pair of parallel arrows,1,coequalizer
pair of points,0,binary product
pair of points,1,binary sum
span,1,pushout
tower,0,directed limit
tower,1,directed colimit