Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-23/2/a/solution

Take any limiting cone in of the given shape. Since preserves such categorical limits, the cone is limiting in . It is the image under of the cone in . Reflection by therefore says that is limiting in . Since this works for every diagram and every limiting cone of the specified shape, preserves categorical limits of that shape.

New to topics? Read the docs here!