A morphism $f \colon x \to y$ in a category is\n1. a monomorphism if for any parallel morphisms $h,k \colon w \rightrightarrows x$, $fh = fk$ implies that $h=k$; or\n2. an epimorphism if for any parallel morphisms $h,k \colon y \rightrightarrows z$, $hf=kf$ implies that $h=k$.