Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-18/1/b/solution

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!