Monomorphism

In the context of abstract algebra or universal algebra, a monomorphism is simply an injective homomorphism.

In the more general (and abstract) setting of category theory, a monomorphism is a morphism f : X → Y such that

f O g₁ = f O g₂ implies g₁ = g₂

for all morphisms g₁, g₂ : Z → X.

The dual of a monomorphism is an epimorphism (i.e. a monomorphism in a category C is an epimorphism in the dual category C^op).

See also:

• isomorphism