Solution

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

A functor is a representable functor if some object admits a natural isomorphism . Here the representable is covariant.
For the identity functor on the Category of sets, choose the singleton . The evaluation maps
are bijections with inverse . For , evaluation of is , proving naturality. Hence the identity functor on sets is represented by a singleton.

New to topics? Read the docs here!