Доабелева категория
- Доабелева категория — категория, в которой существуют ядра и коядра.
- Ядра и коядра являются особыми видами эквалайзеров и соэквивалайзеров.
- Доабелевы категории обладают всеми конечными произведениями и копроизведениями.
- Все доабелевы категории являются аддитивными категориями.
- В доабелевой категории существуют все эквалайзеры и соэквивалайзеры.
- Доабелевые категории имеют все конечные пределы и коллимиты, что делает их конечно полными.
- В доабелевой категории существуют изображения и кообразы, но параллель не всегда является изоморфизмом.
- Точные функторы могут быть описаны в доабелевых категориях, сохраняя все ядра и коядра.
- Существует точная структура в каждой доабелевой категории, содержащая все остальные точные структуры.
Полный текст статьи: