Higher category theory

Вики

∞-группоид — Википедия

/

∞-группоид Определение глобулярных группоидов Глобулярные группоиды — это категории, которые являются группоидами в каждом гомологическом слое.  Они являются обобщением фундаментальных […]

Вики

Эн-ринг — Википедия

/

Кольцо Определение и примеры E  n  {\displaystyle {\mathcal {E}}_{n}}  алгебра — это алгебра в симметричной моноидальной бесконечности категории C, которая

Вики

Теория высших категорий — Википедия

/

Теория высших категорий Основы теории высших категорий Теория высших категорий расширяет теорию категорий, добавляя стрелки для изучения структуры равенств.  Применяется

Вики

Теория высших категорий — Википедия

/

Теория высших категорий Основы теории высших категорий Теория высших категорий расширяет теорию категорий, добавляя стрелки для изучения структуры равенств.  Применяется

Вики

Квазикатегория — Википедия

/

Квазикатегория Определение квазикатегории Квазикатегория — это категория, в которой не все морфизмы определены однозначно.  Морфизмы в квазикатегории могут быть определены

Вики

Квазикатегория — Википедия

/

Квазикатегория Определение квазикатегории Квазикатегория — это категория, в которой не все морфизмы определены однозначно.  Морфизмы в квазикатегории могут быть определены

Вики

Теория высшего топоса — Википедия

/

Теория высших топосов Основы теории высших топосов Теория высших топосов — трактат по ∞-категориям, написанный Джейкобом Лурье.  Книга считается основополагающей

Вики

Конгломерат (математика) — Википедия

/

Конгломерат (математика) Концепция конгломерата в математике Конгломерат используется для обозначения произвольных множеств, в отличие от выделенных множеств, которые являются элементами

Вики

Квазикатегория — Википедия

/

Квазикатегория Определение квазикатегории Квазикатегория — это категория, в которой не все морфизмы определены однозначно.  Морфизмы в квазикатегории могут быть определены

Вики

Струнная диаграмма — Википедия

/

Строковая диаграмма Определение и свойства моноидальных категорий Моноидальные категории — это категории с моноидальной структурой, где операции являются морфизмами.  Моноидальная

Вики

∞-топос — Википедия

/

∞-топос Определение ∞-топоса ∞-топос — это ∞-категория, объекты которой ведут себя как пучки пространств.  Прототип — ∞-категория пучков пространств в

Вики

Многомерная алгебра — Википедия

/

Многомерная алгебра Основы многомерной алгебры Многомерная алгебра изучает категоризированные структуры в теории высших категорий.  Она применяется в неабелевой алгебраической топологии

Вики

∞-группоид — Википедия

/

∞-группоид Определение θ-группоида θ-группоид — абстрактная гомотопическая модель для топологических пространств в теории категорий.  Обобщение группоида в ∞-категории, где каждый

Вики

Квазикатегория — Википедия

/

Квазикатегория Определение квазикатегории Квазикатегория — это категория, в которой не все морфизмы определены однозначно.  Морфизмы в квазикатегории могут быть определены

Вики

Строгая 2-категория — Википедия

/

Строгая 2-я категория Определение 2-категории 2-я категория обогащена по сравнению с категорией категорий и функторов.  Включает объекты, 1-клетки (морфизмы) и

Вики

Многомерная алгебра — Википедия

/

Многомерная алгебра Основы многомерной алгебры Многомерная алгебра изучает категоризированные структуры в теории высших категорий.  Она применяется в неабелевой алгебраической топологии

Вики

Двойной группоид — Википедия

/

Двойной группоид Определение и примеры двойных группоидов Двойной группоид — это пара группоидов, связанных морфизмом, который является функтором диаграммы.  Примеры

Вики

Стабильная ∞-категория — Википедия

/

Стабильная ∞-категория Определение стабильной ∞-категории Имеет нулевой объект  Каждый морфизм имеет волокно и кофибр  Треугольник в категории является последовательностью волокон

Вики

Строгая 2-категория — Википедия

/

Строгая 2-я категория Определение 2-категории 2-я категория обогащена по сравнению с категорией категорий и функторов.  Включает объекты, 1-клетки (морфизмы) и

Прокрутить вверх