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