Definition:Finite Colimit