Гомоморфизм

Мономорфизм — отображение, которое сохраняет структуру и является инъективным.
Расщепленный мономорфизм — гомоморфизм, имеющий левую обратную сторону.
Инъективный гомоморфизм всегда является мономорфизмом, но обратное не всегда верно.
Левый отменяемый гомоморфизм инъективен, если существует свободный объект на аргументе.
Эпиморфизм в алгебре определяется как сюръективный гомоморфизм, а в теории категорий — как морфизм, который можно отменить справа.
Два определения эпиморфизма эквивалентны для множеств, векторных пространств, абелевых групп, модулей и групп.
Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.

Полный текст статьи:

Гомоморфизм — Википедия