Нормальный Мономорфизм

Морфизм, обладающий характеристическим свойством вложения группы (кольца) в группу (кольцо) в качестве нормального делителя (идеала). Пусть — категория с нулевыми морфизмами. Морфизм наз. нормальным мономорфизмом, если всякий морфизм для которого из всегда следует однозначно представим в виде Ядро любого морфизма является Н. м. Обратное в общем случае неверно, однако при существовании в категории коядер морфизмов всякий Н. м. оказывается ядром своего коядра. В любой абелевой категории всякий мономорфизм нормален. Понятие Н. м. двойственно понятию нормального эпиморфизма. М. Ш. Цаленко.