diagram,diagram_label,is_colimit,construction,construction_label
pair of parallel arrows,pair of parallel arrows,1,coequalizer,coequalizer