diagram,is_colimit,construction
span,1,pushout