Мономорфізм

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

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

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

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

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