Математическая энциклопедия:
Морфизм, обладающий характеристич. свойством естественного отображения группы на факторгруппу или кольца на факторкольцо. Пусть категория с нулевыми морфизмами. Морфизм наз. нормальным эпиморфизмом, если всякий морфизм для к-рого из всегда следует " однозначно представим в виде . Коядро любого морфизма является Н.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020