# PlanetPhysics/Monomorphism

Definition 0.1

A morphism $\displaystyle \Map fAB$ is a monomorphism , if for any two morphisms $\displaystyle \Map{g,h}CA$ the equality ${\displaystyle f\circ g=f\circ h}$ implies ${\displaystyle h=g}$.