Similarly, the colimit functor (which exists if the category is cocomplete) is the left-adjoint of the diagonal functor.
In a cocomplete category, the colimit functor and the diagonal functor are related by the concept of left adjointness.