Мономорфізм

Мономорфім ― морфізм ${\displaystyle f:X\to Y}$, для якого із будь-якої рівності ${\displaystyle f\circ g_{1}=f\circ g_{2}}$ випливає, що ${\displaystyle g_{1}=g_{2}}$ (тобто ${\displaystyle f}$ є скорочуваним зліва).

У контексті абстрактної або універсальної алгебри, мономорфізм це ін'єктивний гомоморфізм.

Мономорфізм від X до Y часто позначається стрілкою ${\displaystyle X\hookrightarrow Y}$.