Let $C$ be a category. A morphism $f\in \text{Hom}_C(A,B)$ is an epimorphism if for all objects $Z$ of $C$ and all morphisms $\alpha,\beta\in \text{Hom}_C(B,Z)$, \(\alpha \circ f= \beta\circ f\implies \alpha = \beta.\)
Wikidata ID: Q1347208