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

Морфизм, обладающий характеристич. свойством естественного отображения группы на факторгруппу или кольца на факторкольцо. Пусть категория с нулевыми морфизмами. Морфизм наз. нормальным эпиморфизмом, если всякий морфизм для к-рого из всегда следует " однозначно представим в виде . Коядро любого морфизма является Н.