Википедия
Эпиморфизм
Эпиморфи́зм в категории ― морфизм m : A → B, такой что из всякого равенства f ∘ m = h ∘ m следует f = h (другими словами, на m можно сокращать справа).
Эпиморфизмы представляют собой категорный аналог понятия сюръективной функции , но это не одно и то же. Двойственным к понятию эпиморфизм является понятие мономорфизма .