Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-113/1/b/solution

On the defining presheaf, send a section over by the identity
and use the unique zero map when . These maps commute with restrictions and therefore sheafify to the natural counit
After restricting back to , every open set lies in , so one recovers the original sheaf . Equivalently, the natural map is an isomorphism on every stalk and hence an isomorphism of sheaves.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!