Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-17/7/i/solution
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 17 7 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
If , let denote a singleton set. The adjunction gives the natural bijectionsThus is represented by , proving .
If is a covariant representable functor, a morphism is exactly a compatible family of morphisms . Consequently the comparison mapis 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!