Stalks of sheaf-hom Let $F$ and $G$ be sheaves on $X$. Under what conditions is the natural map from the stalk at $p$ of $\mathcal{H}\kern{-1pt}\mathit{om}(F,G)$ to $\mathrm{Hom}(F_p, G_p)$ an isomorphism?
 A: The result in Hartshorne if I recall correctly only really uses the fact that affine locally a coherent sheaf on a scheme has a locally free resolution by finite rank projectives and that one can compute stalks affine locally. In particular, as pointed out by David in the comments we only ready need the first two steps so that one can use the exactness properties of Hom/SheafHom.
So the right condition on F as in the comments is that it be finitely presented.
A: It's true when X is a locally Noetherian scheme, F is a coherent sheaf and G is any O_X module. This is Chapter III, Prop 6.8 of Hartshorne's Algebraic Geometry, so hopefully I'm not just telling you something you knew.
A: By the way, here's a counterexample for the most sweeping generalization ("it's always an isomorphism"), which I found online in a book called "Topological Invariants of Stratified Spaces". Let X = [0,1] and F be the skyscraper sheaf Z at 0. Let G be the constant sheaf Z. If U contains 0 then Hom(F|U,G|U)=0, so Hom(F,G)_0 = 0, but of course Hom(Z,Z)=Z.
What about for coherent O_X modules on a ringed space X that need not be a scheme? Say, a complex manifold? Just idle curiosity...
