Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-119/1/c/i/solution

Assume every morphism of is monic. For a representable presheaf , the category is the category of elements, equivalently the slice . A morphism from to is an satisfying . Since is monic, there is at most one such . Thus is a preorder.

New to topics? Read the docs here!