Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-17/7/ii/solution
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 17 7 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Suppose naturally and has small coproducts in a category. DefineFor 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 bijectionsThe 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!