Мономорфизм в категории ― морфизм $m:A\backslash to\; B$ категории $\backslash mathcal\; C$, для которого из всякого равенства $fm=hm$ следует, что $f=h$ (другими словами, на $m$ можно сокращать справа).

В категории множеств роль мономорфизмов играют инъекции. Двойственным к понятию мономорфизм является понятие эпиморфизма.

Свойства

• Произведение двух мономорфизмов является мономорфизмом.
• Каждый левый делитель мономорфизма есть мономорфизм.
• Класс всех объектов и класс всех мономорфизмов произвольной категории составляют подкатегорию.

Теория категорий

Monomorphism | Monomorfizm