Мономорфім ― морфізм , для якого із будь-якої рівності випливає, що (тобто є скорочуваним зліва).
У контексті абстрактної або універсальної алгебри, мономорфізм це ін'єктивний гомоморфізм.
Мономорфізм від X до Y часто позначається стрілкою .
Література Редагувати
- Кон П. Универсальная алгебра. — Москва : Мир, 1968. — 351 с.(рос.)
- С. Мак Лейн Категории для работающего математика. — Физматлит, 2004 [1998].
- Francis Borceux (1994), Handbook of Categorical Algebra 1, Cambridge University Press. ISBN 0-521-44178-1.
- Jaap van Oosten, Basic Category Theory [ 17 грудня 2008 у Wayback Machine.]