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