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