Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/iii/paper-20/2/i/solution

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!