Простая категория
- Симплексная категория – категория непустых конечных ординалов и сохраняющих порядок функций.
- Категория создается с помощью карт coface и codegeneracy, сводящихся к вставке или удалению элементов упорядочений.
- Симплициальный объект – это предварительный пучок на Δ, который является контравариантным функтором из Δ в другую категорию.
- Расширенная симплексная категория является категорией всех конечных ординалов и отображений, сохраняющих порядок.
- Расширенная симплексная категория допускает естественную моноидальную структуру.
Полный текст статьи:
Категория симплекс — Википедия
Похожие статьи:
- Порядковый номер Оглавление1 Порядковый номер1.1 Определение ординалов фон Неймана1.2 Порядковая арифметика1.3 Индексирование ординалов1.4 Замкнутые и неограниченные множества1.5 Стационарные...
- Категория функтора Оглавление1 Категория функторов1.1 Основы теории категорий1.2 Функторы и категории функторов1.3 Примеры категорий функторов1.4 Свойства функторов1.5 Лемма...
- Порядковый номер Оглавление1 Порядковый номер1.1 Определение ординалов1.2 Порядковые операции1.3 Порядковая арифметика1.4 Индексирование ординалов1.5 Замкнутые и неограниченные множества2 Порядковый...
- Верно пологий спуск Оглавление1 Точно ровный спуск1.1 Определение и свойства категории модулей1.2 Определение и свойства категории колец1.3 Определение и...
- Категория малых категорий Категория малых категорий Категория малых категорий (Cat) в математике является категорией, объектами которой являются малые категории,...
- Оцениваемая категория Оглавление1 Классифицированная категория1.1 Определение классифицированной категории1.2 Моноиды и группы как категории1.3 Определение градуированной категории1.4 Определение G-оценочной...
- Категория изображений Оглавление1 Категория представлений1.1 Основы теории представлений1.2 Формализм Таннака1.3 Определения и примеры1.4 Теоретико-категориальное определение1.5 Свойства и двойственность...
- Категория отношений Категория отношений Категория Rel относится к классу множеств и бинарных отношений как морфизмов. Морфизм R: A...
- Производная некоммутативная алгебраическая геометрия Оглавление1 Производная некоммутативная алгебраическая геометрия1.1 Производные категории и их применение1.2 Производная категория проективной прямой1.3 Полуортогональные разложения...
- Категория добавок Оглавление1 Категория добавок1.1 Определение и свойства аддитивных категорий1.2 Внутренняя характеристика закона сложения1.3 Матричное представление морфизмов1.4 Аддитивные...
- Ордер на облигации Оглавление1 Поручительство по облигациям1.1 Определение порядка связей1.2 Примеры порядка связей1.3 Нецелочисленные порядки связей1.4 Порядок связей в...
- Категория Гротендика Оглавление1 Категория Гротендика1.1 Определение категории Гротендика1.2 Примеры категорий Гротендика1.3 Свойства категорий Гротендика1.4 Специальные объекты и категории...
- Категория Бернсайд Оглавление1 Категория “Бернсайд”1.1 Определение категории Бернсайда1.2 Групповое завершение и карты1.3 Категория Бернсайда как категория1.4 Эквивалентность и...
- Категория абелевых групп Категория абелевых групп Категория Ab имеет абелевы группы и групповые гомоморфизмы в качестве объектов и морфизмов. ...
- Категория ленты Оглавление1 Категория ленты1.1 Определение и примеры ленточных категорий1.2 Структура ленточных категорий1.3 Примеры и свойства1.4 Строго ленточные...
- Категория модулей Оглавление1 Категория модулей1.1 Определение категории модулей1.2 Эквивалентности и терминология1.3 Свойства категорий модулей1.4 Примеры объектов и морфизмов1.5...
- Симметричная моноидальная категория Симметричная моноидальная категория Симметричная моноидальная категория – моноидальная категория с симметричным тензорным произведением. Примеры симметричных моноидальных...
- Замкнутая моноидальная категория Замкнутая моноидальная категория Закрытая моноидальная категория – моноидальная категория с дополнительным свойством тензоризации. Симметричная замкнутая моноидальная...
- Категория гомотопии Оглавление1 Гомотопическая категория1.1 Основы гомотопической теории1.2 Гомотопические категории1.3 Примеры гомотопических категорий1.4 Вариации гомотопических категорий1.5 Гомотопические записи2...
- Вычислимый порядковый номер Оглавление1 Вычислимый порядковый номер1.1 Определение вычислимых ординалов1.2 Ординал Черча-Клини1.3 Счетность вычислимых ординалов1.4 Система Клини и вычислимые...
- Порядковый номер Порядковый номер Ординалы – это упорядоченные множества натуральных чисел, которые могут быть бесконечными. Порядковый номер –...
- Категория модели Категория модели Категория моделей – это категория, в которой все объекты являются модельными объектами. Модельные структуры...