In the category of rings, epimorphisms do not have to be surjective: $\mathbb{Z}\hookrightarrow \mathbb{Q}$.