Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-119/2/c/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 119 2 c Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Consider one connected component of the category of cocones under a small diagram . Replace every apex by the subfield generated by the images of the fields . These generated fields have cardinality bounded in terms of the small diagram, so they admit a small skeleton, cofinal within .
The apex functor on this small connected category has a limit in by part (b). For each , the maps from to all apexes form a compatible cone and therefore induce . These maps form a cocone under . Its limiting projections give a unique morphism from to every cocone in , so is initial in that component. Choosing one for each component gives a multicolimit.
New to topics? Read the docs here!