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