Категория (математика)
-
Основы теории категорий
-
Отношения между морфизмами
-
Типы категорий
- Предаддитивные категории имеют групповые структуры на гомо-множествах.
- Аддитивные категории содержат все конечные продукты и соответствующие продукты.
- Абелевые категории имеют ядра и вторичные ядра для всех морфизмов.
- Полные категории содержат все небольшие ограничения.
- Декартовы замкнутые категории имеют конечные прямые произведения.
- Топосы представляют математику в декартовых замкнутых категориях.
-
Рекомендации и стили
- Статья содержит различные стили и рекомендации по форматированию.
- Ссылки на различные элементы статьи и их стили также включены.
Полный текст статьи: