Гомоморфизм

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