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