Мономорфізм

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Monomorphism-01.png

Мономорфімморфізм , для якого із будь-якої рівності випливає, що (тобто є скорочуваним зліва).

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

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

Література[ред.ред. код]