Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-17/4/ii/solution

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 components
Also 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!