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