diagram,is_colimit,construction
empty diagram,1,initial object