Similarly, the colimit functor (which exists if the category is cocomplete) is the left-adjoint of the diagonal functor.
The colimit functor (which exists if the category is cocomplete) is the left-adjoint of the diagonal functor.