 Coproducts, fibred coproducts, coequalizers, and cokernels are all examples of the categorical notion of a colimit.Any colimit functor is left adjoint to a corresponding diagonal functor (provided the category has the type of colimits in question), and the unit of the adjunction provides the defining maps into the colimit object.Below are some specific examples.