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