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