Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/iii/paper-20/2/i/solution
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 20 2 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Name the upper objects and the lower objects , so the morphisms are , , , , , , and . The commutative diagram gives and .
Take and with . The right pullback in a category gives a unique with and . The left pullback in a category then gives a unique with and . It follows that , giving the required factorization through the outside rectangle. Any other factorization has the same middle morphism by uniqueness in the right pullback in a category, and therefore is the same by uniqueness in the left pullback in a category. The outside rectangle is a pullback.
New to topics? Read the docs here!