Гомотопическая гипотеза
В теории категорий , разделе математики, утверждает Гротендика гомотопическая гипотеза , что ∞-группоиды являются пространствами . Если мы моделируем наши ∞-группоиды как комплексы Кана , то гомотопические типы геометрических реализаций этих множеств дают модели для каждого гомотопического типа. Предполагается, что существует множество различных «эквивалентных» моделей ∞-группоидов, каждая из которых может быть реализована как гомотопический тип.
См. также [ править ]
Ссылки [ править ]
- Джон Баэз, Гомотопическая гипотеза
- Гротендик, Александр (2021). «В поисках стопок». arXiv : 2111.01000 [ math.CT ].
- Лурье, Джейкоб (2009). Высшая теория топоса (АМ-170) . Издательство Принстонского университета. ISBN 9780691140490 . JSTOR j.ctt7s47v .