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