diagram,diagram_label,is_colimit,construction,construction_label
pair of points,pair of points,1,binary sum,binary sum