# Show that the kernel of the stalk map is the stalk of the kernel sheaf

Suppose I have a morphism of sheaves of abelian groups $\phi: \mathcal{F} \longrightarrow \mathcal{G}$ with induced morphisms of stalks $\phi_{p}: \mathcal{F}_{p} \longrightarrow \mathcal{G}_{p}$. We then have an exact sequence of presheaves $$0 \longrightarrow \ker\phi \longrightarrow \mathcal{F} \longrightarrow \mathcal{F}/\ker \phi \longrightarrow 0.$$ We further have that taking the stalks preserves exactness, so that we have an exact sequence of abelian groups $$0 \longrightarrow (\ker\phi )_{p} \longrightarrow \mathcal{F}_{p} \longrightarrow (\mathcal{F}/\ker \phi )_{p} \longrightarrow 0.$$ How do we use this information to show that $\ker( \phi_{p}) \simeq (\ker \phi)_{p}$?

My attempt was to first make an elementary diagram chase to find that $(\mathcal{F} / \ker \phi)_{p} \simeq \mathcal{F}_{p} / \ker (\phi_{p})$. We know further that as groups, $\mathcal{F}_{p} / \ker (\phi_{p}) \simeq \mathcal{G}_{p}$. We then have an exact sequence $$0 \longrightarrow (\ker\phi )_{p} \longrightarrow \mathcal{F}_{p} \longrightarrow \mathcal{G}_{p} \longrightarrow 0.$$ However, is this enough to show that $\ker(\phi_{p}) \simeq (\ker \phi)_{p}$? I feel like I need the surjective map in that last one to be exactly $\phi_{p}$, which it isn't. It is $\phi_{p}$ composed with some other isomorphisms.

In general, an exact sequence $$0 \to A \to B \xrightarrow{f} C$$ is enough to show that $A \cong \operatorname{ker} f$. You do not need surjectivity of $f$. That is simply the universal property of the kernel.