 Any limit functor is right adjoint to a corresponding diagonal functor (provided the category has the type of limits in question), and the counit of the adjunction provides the defining maps from the limit object (i.e.from the diagonal functor on the limit, in the functor category).Below are some specific examples.