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