diagram,is_colimit,construction
cospan,0,pullback