/sqt/ - Stupid Question Thread: Sheaves Edition

No.8591198 ViewReplyOriginalReport
Previous thread: >>8582651

Post all your stupid questions that don't deserve their own thread here.

Starting with an exercise from Hartshorne I need help with:

Let be a morphism of sheaves. Trying to show the equality of the stalk of the presheaf kernel and the kernel of the induced stalk map . The inclusion is clear to me but not the converse.

If , then implies there exists with .

But why should which is needed for ?