В теория категорий, раздел математики, Гротендик с гипотеза гомотопии заявляет, что ∞-группоиды находятся эквивалент к топологические пространства. Если мы смоделируем наши ∞-группоиды как Кан комплексы, то гомотопические типы геометрических реализаций этих множеств дают модели для каждого гомотопического типа. Предполагается, что существует множество различных «эквивалентных» моделей для ∞-группоидов, все из которых могут быть реализованы как гомотопические типы.
Смотрите также
Рекомендации
внешняя ссылка
Категория
Математический портал
