Википедия
Мономорфизм
Мономорфи́зм ― морфизм m : A → B категории $\mathcal C$, такой что из всякого равенства m ∘ f = m ∘ h следует, что f = h (другими словами, на m можно сокращать слева). Часто мономорфизм из X в Y обозначают $X \hookrightarrow Y$.
Двойственным к понятию мономорфизм является понятие эпиморфизма . Отметим, что для того, чтобы стрелка была изоморфизмом , в общем случае не достаточно её мономорфности и эпиморфности.
Мономорфизмы представляют собой категорное обобщение понятия инъективной функции . Иногда эти определения совпадают, но в общем случае мономорфизм не соответствует инъективной функции.