A morphism f:X → Y with the property that for all morphisms gi between Z and X, f◦g1 = f◦g2 ⇒ g1 = g2. In category theory, monomorphisms are the analogue of injections. Compareepimorphism.
Computer
A homomorphism that, when viewed as a function, is an injection.