Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-119/1/a/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 119 1 a Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
For and , the Yoneda lemma gives a natural bijectionAssume is small. For every pair with , let be the corresponding natural transformation. Their copairing isAt 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!