PlanetPhysics/Monomorphism

Definition 0.1

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