Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-18/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 18 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
A representation of a functor is with such that is a bijection for every . These bijections are natural by functoriality. The element is its universal element.
If is another representation, universality gives unique arrows and satisfying and . Consequently , so by injectivity of the representing bijection. Similarly . Therefore is the unique compatible isomorphism. This proves uniqueness of functor representations; uniqueness refers to an isomorphism carrying the specified universal elements to one another, rather than to every isomorphism between the underlying objects.
New to topics? Read the docs here!