diagram,diagram_label,is_colimit,construction,construction_label
empty diagram,empty diagram,1,initial object,initial object
endomorphism,endomorphism,1,idempotent splitting,idempotent splitting
pair of parallel arrows,pair of parallel arrows,1,coequalizer,coequalizer
pair of points,pair of points,1,binary sum,binary sum
span,span,1,pushout,pushout
tower,tower,1,directed colimit,directed colimit