Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-18/4/iii/solution

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 is
Equivalently, 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!