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