Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-23/5/ii/solution
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 23 5 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Take . The category of elements has finite limits. Reversing its limiting cones gives cocones over every finite diagram in ; a terminal object before reversal ensures nonemptiness. Its opposite category is therefore a filtered category, proving (iii).
New to topics? Read the docs here!