Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-18/4/iii/solution
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 18 4 iii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
The category of elements of has objects with and morphisms satisfying . Send to the representable presheaf and a morphism to . The Yoneda lemma gives a canonical cocone to , whose leg at corresponds to .
For any target presheaf , a cocone from this diagram to is a family of maps , or equivalently elements , with whenever . Such a family is exactly a natural transformation , via . This bijection respects the canonical cocone, so it proves its colimit universal property. Consequently the canonical colimit presentation of a presheaf isEquivalently, the density coend identifies the disjoint copies of the representables by exactly these element-category arrows. Smallness of and the set-valued fibers make the indexing category small.
New to topics? Read the docs here!