Solution

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

Keep the notation of the preceding part. For and satisfying , we have . The outside pullback in a category gives a unique with and . Moreover . The morphisms thus have the same composites with and . Uniqueness in the right pullback in a category gives . Any factorization through the left square also factors through the outside rectangle, so it is unique there. The left square is a pullback. Together these two arguments prove the pullback pasting lemma.

New to topics? Read the docs here!