This question is related to my earlier question. I have learnt a lot since I asked that question and I think I can phrase my thoughts more clearly now.

To someone who is comfortable with category theory, it seems reasonable to define sheafification as the left adjoint to the forgetful functor from sheaves to presheaves (assuming such a functor exists). Intuitively, sheafification associates to the presheaf $\mathcal{F}$, a sheaf $\mathcal{F}^{+}$ which has isomorphic stalks. However, this is not obvious from the definition of sheafification as an adjoint.

** Question: ** Is it possible to prove that the unit associated to the adjunction (sheafification, forgetful) induces isomorphisms on the stalks without explicitly constructing sheafification?

Note that I am not saying that defining sheafification as an adjoint is a good idea. Indeed, the explicit construction of the sheafification of a presheaf is a good exercise, but the fact that the unit $\mathcal{F} \to \mathcal{F}^+$ induces isomorphisms on the stalks seems like it should follow from properties of adjoint functors.

I have similar questions about the inverse image functor but I think that if i can find out how to solve the above question, then I should be able to work out the details for the inverse image functor aswell

lotabout sheaf-valued functors (and sheaves generally) using only category theory. See the book 'Categories and sheaves' amazon.com/… for example. $\endgroup$ – David Roberts Oct 9 '11 at 11:55