Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-119/1/a/solution

For and , the Yoneda lemma gives a natural bijection
Assume is small. For every pair with , let be the corresponding natural transformation. Their copairing is
At an object , the element is the image of in the summand indexed by . The map is therefore pointwise surjective and hence an epimorphism in the functor category.

New to topics? Read the docs here!