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