PlanetPhysics/Monomorphism

Definition 0.1

A [[../TrivialGroupoid/|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 $f\circ g=f\circ h$ implies $h=g$.