Solution

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

A representation of a functor for says precisely that for every object of there is a unique arrow with . This is exactly the initial object property for in that comma category. Conversely, an initial object supplies these unique arrows, hence the representing bijections .

New to topics? Read the docs here!