Definition:Colimit of Diagram