Monomorphism 2010-11-01 02:37:19 2010-11-01 02:37:19 Definition monomorphism \textbf{Definition 0.1} A morphism $\Map fAB$ is a \emph{monomorphism}, if for any two morphisms $\Map{g,h}CA$ the equality $f\circ g=f\circ h$ implies $h=g$. \end{definition}