Monomorphism

Common card · No. 491577

In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from X to Y is often denoted with the notation X ↪ Y {\displaystyle X\hookrightarrow Y} . In the more general setting of category theory, a monomorphism (also called a monic morphism or a mono) is a left-cancellative morphism. That is, an arrow f : X → Y such that for all objects Z and all morphisms g1, g2: Z → X, f ∘ g 1 = f ∘ g 2 ⟹ g 1 = g 2 . {\displaystyle f\circ g_{1}=f\circ g_{2}\implies g_{1}=g_{2}.} Monomorphisms are a categorical generalization...

Read on Wikipedia · Image Midnight Kept, CC BY-SA 4.0