 ##  [Monomorphism](/monomorphism) 

  ##  [Monomorphism](https://mathlogic.quantumdictionary.io/monomorphism-0) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definition

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.