Epimorphism

A Morphism $f:Y\to X$ in a Category is an epimorphism if, for any two morphisms $u,v:X\to Z$, $uf=vf$ implies $u=v$.