diagram,diagram_label,is_colimit,construction,construction_label
pair of points,pair of points,0,binary product,binary product