preserved limit

Let be categories, a diagram and a functor. Suppose together with morphisms is a limit, then is preserved under the functor, if the induced morphism between limits of a functor is an isomorphism

Note that with is a limit, as existence is given by the composition

and uniquness is given by commutativity of the composition, hence