{"diagram": {"value": "pair of points", "label": "pair of points"}, "is_colimit": 0, "construction": {"value": "binary product", "label": "binary product"}}