diagram,diagram_label,is_colimit,construction,construction_label
span,span,1,pushout,pushout