Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-18/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 18 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
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 mapsare 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!