Мономорфизм
Материал из Википедии — свободной энциклопедии
Мономорфизм в категории ― морфизм категории , для которого из всякого равенства fm = hm следует, что f = h (другими словами, на m можно сокращать справа).
В категории множеств роль мономорфизмов играют инъекции. Двойственным к понятию мономорфизм является понятие эпиморфизма.
[править] Свойства
- Произведение двух мономорфизмов является мономорфизмом.
- Каждый левый делитель мономорфизма есть мономорфизм.
- Класс всех объектов и класс всех мономорфизмов произвольной категории составляют подкатегорию.