With chosen -shaped categorical limits, the limit functor sends each diagram in a category to its limit object. A natural transformation induces the unique morphism compatible with the limit-cone projections. It is a right adjoint to the constant diagram functor, so it preserves existing categorical limits.
New to topics? Read the docs here!