lineare Abbildung φ : V → W eines Vektorraumes V auf einen Vektorraum W, die injektiv ist.

In Verallgemeinerung dieses Begriffs ist ein (kategorieller) Monomorphismus ein Morphismus f : X → Y in einer Kategorie \(\mathcal{C}\), falls für beliebige Morphismen g₁, g₂ : U → X gilt: Aus f ∘ g₁ = f ∘ g₂ folgt g₁ = g₂. Dies bedeutet, daß f linksskürzbar ist.