diagram,diagram_label,is_colimit,construction,construction_label
empty diagram,empty diagram,0,terminal object,terminal object
span,span,1,pushout,pushout
cospan,cospan,0,pullback,pullback
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
tower,tower,0,directed limit,directed limit
tower,tower,1,directed colimit,directed colimit
pair of parallel arrows,pair of parallel arrows,1,coequalizer,coequalizer
pair of points,pair of points,1,binary sum,binary sum
pair of points,pair of points,0,binary product,binary product