Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-18/3/c/solution
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 18 3 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Suppose is a left adjoint to . The adjunction gives bijections, natural in ,The second map is evaluation at the singleton element, as in part (a). Thus is represented by . This argument uses the one-point set as a generator of the particular set-valued adjunction; it does not claim that every arbitrary right adjoint is representable.
New to topics? Read the docs here!