Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-17/4/ii/solution
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 17 4 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Use the explicit construction of small limits from products and equalizers from part (i), here with finite indexing sets. If preserves finite products in a category and equalizers, then and , with their image projections, are the products of the objects and of the target objects indexed by arrows of .
The image maps have componentsAlso is their equalizer. Therefore the same universal property proof makes , with projections , a categorical limit of . Any other chosen limit of is uniquely isomorphic to this construction, and the functor carries that isomorphism to an isomorphism. Consequently preserves every finite limit. Preservation of finite products includes the empty product, so the terminal object is also preserved.
New to topics? Read the docs here!