Definition of Monomorphism

Let $C$ be a category. A monomorphism is a map $m:X \rightarrowtail Y$ in $C$ such that,

English: For all arrows $f,g : Z \to X$, if $mf = mg$ then $f = g$.   

The $\rightarrowtail$ or vee-tail arrow will usually mean a monomorphism.