Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-17/7/i/solution

If , let denote a singleton set. The adjunction gives the natural bijections
Thus is represented by , proving .
If is a covariant representable functor, a morphism is exactly a compatible family of morphisms . Consequently the comparison map
is a bijection for every existing small categorical limit. This proves by the universal property of a limit. In particular,

New to topics? Read the docs here!