Мономорфізм

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

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

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

Література

Українською

• Шаблон:Ref-uk Шаблон:Книга

Іншими мовами

• Шаблон:Кон.Универсальная алгебра
• С. Мак Лейн Категории для работающего математика. — Физматлит, 2004 [1998].
• Francis Borceux (1994), Handbook of Categorical Algebra 1, Cambridge University Press. ISBN 0-521-44178-1.
• Jaap van Oosten, Basic Category Theory Шаблон:Webarchive