Строгая 2-категория
Строгая 2-я категория Определение 2-й категории 2-я категория — это категория с морфизмами между морфизмами. Каждый элемент сам по себе […]
Вики
Higher category theory
Вики
Бикатегория – Arc.Ask3.Ru
Двухкатегория Определение бикатегории Бикатегория (слабая 2-я категория) расширяет понятие категории, рассматривая случаи, когда состав морфизмов не строго ассоциативен, а ассоциативен
Вики
Теорема Зейферта–Ван Кампена
Теорема Зайферта–Ван Кампена Теорема Ван Кампена для фундаментальных групп Выражает структуру фундаментальной группы топологического пространства через фундаментальные группы двух открытых
Вики
∞-группоид
∞-группоид Определение глобулярных группоидов Глобулярные группоиды – это категории, которые являются группоидами в каждом гомологическом слое. Они являются обобщением фундаментальных
Вики
Теория высшего топоса
Теория высших топосов Основы теории высших топосов Теория высших топосов – трактат по теории θ-категорий, написанный Джейкобом Лурье. Книга считается
Вики
∞-группоид
∞-группоид Определение θ-группоида θ-группоид – абстрактная гомотопическая модель для топологических пространств в теории категорий. Обобщение группоида в ∞-категории, где каждый
Вики
Теорема Зейферта–Ван Кампена
Теорема Зайферта–Ван Кампена История и значение теоремы Ван Кампена Теорема названа в честь голландского математика Э. Р. ван Кампена, который
Вики
Многомерная алгебра
Многомерная алгебра Основы многомерной алгебры Многомерная алгебра изучает категоризированные структуры в теории высших категорий. Она применяется в неабелевой алгебраической топологии
Вики
Двойной группоид
Двойной группоид Определение и примеры двойных группоидов Двойной группоид – это пара группоидов, связанных морфизмом, который является функтором диаграммы. Примеры
Вики
Стабильная ∞-категория
Стабильная ∞-категория Определение стабильной ∞-категории Имеет нулевой объект Каждый морфизм имеет волокно и кофибр Треугольник в категории является последовательностью волокон
Вики
Конгломерат (математика)
Конгломерат (математика) Концепция конгломерата в математике Конгломерат используется для обозначения произвольных множеств, в отличие от выделенных множеств, которые являются элементами
Вики
Сверхъестественная трансформация
Сверхъестественная трансформация Сверхъестественное преобразование является обобщением естественного преобразования в теории категорий. Естественная трансформация считается естественной в a и сверхъестественной в
Вики
Фундаментальный группоид
Фундаментальный группоид Фундаментальный группоид является топологическим инвариантом, содержащим информацию о гомотопическом типе пространства. Фундаментальный группоид является определенным функтором из категории
Вики
n-группа (теория категорий)
N-группа (теория категорий) Гомотопические n-группы используются для классификации гомотопических типов. Существует несколько способов определения гомотопических n-групп, включая теорию гомотопических групп
Вики
Слабая n-категория
Слабая n-категория Слабая n-категория является обобщением строгой n-категории с менее строгими ассоциативными и унитальными свойствами. Обобщение становится заметным во втором
Вики
Струнная диаграмма
Строковая диаграмма Струнные диаграммы – это математические структуры, используемые в теории категорий и низкоразмерной топологии. Они представляют собой плоские графы