Эпиморфизм
Эпиморфи́зм в категории ― морфизм категории , для которого из всякого равенства следует, что (другими словами, на можно сокращать слева).
В категории множеств роль эпиморфизмов играют сюръекции, в общей алгебре ― сюръективные гомоморфизмы. Двойственным к понятию мономорфизм является понятие мономорфизма.
Свойства
- Произведение двух эпиморфизмов является эпиморфизмом.
- Каждый правый делитель эпиморфизма есть эпиморфизм.
- Класс всех объектов и класс всех эпиморфизмов произвольной категории составляют подкатегорию.