Definition:Finite Limit (Category Theory)