# PlanetPhysics/Monomorphism

**Definition 0.1**

A morphism **Failed to parse (unknown function "\Map"): {\displaystyle \Map fAB}**
is a *monomorphism* , if for any two morphisms **Failed to parse (unknown function "\Map"): {\displaystyle \Map{g,h}CA}**
the equality implies .