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