En la teoría de categorías , una rama de las matemáticas, Grothendieck 's hipótesis homotopy estados que las ∞-grupoides son equivalentes a los espacios topológicos . Si modelamos nuestros ∞-groupoides como complejos Kan , entonces los tipos de homotopía de las realizaciones geométricas de estos conjuntos dan modelos para cada tipo de homotopía. Se conjetura que hay muchos modelos "equivalentes" diferentes para ∞-groupoides, todos los cuales pueden realizarse como tipos de homotopía.
Ver también
Referencias
- John Baez, La hipótesis de la homotopía