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

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

Полный текст статьи:

Нормальный морфизм — Википедия