diagram,diagram_label,is_colimit,construction,construction_label
cospan,cospan,0,pullback,pullback