Классифицирующее пространство
Классифицирующее пространство Классифицирующее пространство BG используется для изучения групп и их свойств. BG является классифицирующим пространством для различных групп, включая […]
Классифицирующее пространство Классифицирующее пространство BG используется для изучения групп и их свойств. BG является классифицирующим пространством для различных групп, включая […]
Монодромия Групповой группоид – это группа, которая действует на множестве путей в топологическом пространстве. Фундаментальная группа π1(X, x) действует на
Фундаментальная группа Фундаментальная группа топологического пространства является группой, описывающей его гомотопические свойства. Фундаментальная группа связана с гомотопическими классами циклов и
Когерентность (гомотопическая теория) Когерентность в математике – стандарт, которому должны удовлетворять равенства или диаграммы. Псевдо- и слабые- прилагательные используются для
Гомотопическая группа Гомотопические группы используются для изучения топологических свойств пространств и их связей с группами Ли. Расслоения предоставляют инструменты для
Теория препятствий Теория препятствий связана с гомотопической эквивалентностью топологических многообразий и дифференциальных многообразий. В геометрической топологии теория препятствий связана с
Симплициальное множество Симплициальные множества являются фундаментальным понятием в алгебраической топологии. Симплициальные множества представляют собой топологические пространства, состоящие из симплексов. Симплициальные
Теория гомотопических типов Теория гомотопических типов – это математическая теория, основанная на топологии и теории категорий. Она позволяет описывать и
Простая категория Симплексная категория – категория непустых конечных ординалов и сохраняющих порядок функций. Категория создается с помощью карт coface и
Категория модели Категория моделей – это категория, в которой все объекты являются модельными объектами. Модельные структуры в категориях моделей определяют
Теория гомотопий Теория гомотопий изучает топологические пространства и их связи с группами. Расслоения являются примерами гомотопических отображений между пространствами. Классифицирующее
Квазикатегория Квазикатегория – категория, в которой не определены законы композиции морфизмов. Гомотопическая категория связана с квазикатегорией и имеет объекты, представляющие