Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-18/5/b/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 18 5 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
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!