Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-18/3/c/solution

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!