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