# Epimorphism of sheaves of rings


Let $\phi:\fs\to\gs$ be a morphism in ${\bf Sh}(X,{\bf Ring})$, and $\operatorname{im}\phi$ the image presheaf of $\phi$. Is it true that if $\phi$ is an epimorhism, then $\gs$ is the sheafification of $\operatorname{im}\phi$ ?

It would be true if we used ${\bf Ab}$ instead of ${\bf Ring}$, because ${\bf Ab}$ is a balanced category.

-
If $\phi$ is epimorphism, in which category: sheaves or presheaves? –  rafaelm Jan 20 '13 at 16:57
$\phi$ is an epimorphism in the category of sheaves. –  ashpool Jan 20 '13 at 17:06

This is false. Take $X = \{ \mathrm{p.t.}\}$ so that $\mathsf{Sh}(X,\mathsf{Ring})$ is actually just $\mathsf{Ring}$ and actually the image presheaf is a sheaf. But we know in $\mathsf{Ring}$ that $\mathbb{Z} \rightarrow \mathbb{Q}$ is epic.