Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-17/7/ii/solution

Suppose naturally and has small coproducts in a category. Define
For a function , define by sending the -summand by the identity of to the -summand. The coproduct property gives the identity and composition laws, so is a functor. There are natural bijections
The first chooses a morphism on every summand; the second views that family as a function. Hence this is the left adjoint to a covariant representable functor:
For empty , the formula uses the empty coproduct, an initial object, and the same bijection remains valid.

New to topics? Read the docs here!