Monomorphism

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A morphism m: A → B in a category that is left-cancellative: for any pair of parallel morphisms g,h with domain X, mg = mh implies g = h. It generalizes the notion of an injective structure-preserving map in concrete categories.