El estudio de espacios topológicos, mapas y construcciones hasta equivalencia por homotopía, junto con estructuras algebraicas y categóricas (grupos de homotopía, categorías de modelos, espectros) que codifican información de deformación en dimensiones superiores.

Principio

Sustituir la igualdad estricta por la equivalencia por homotopía como noción relevante de identidad; estudiar invariantes y construcciones invariante por homotopía, organizar objetos mediante estructuras de modelos o marcos ∞-categorícos para gestionar homotopías superiores y coherencias de composición.

Demostración

Calcular π_n(S^k) para esferas con herramientas como la sucesión exacta larga de una fibración, el teorema de suspensión de Freudenthal y secuencias espectrales; construir la categoría de homotopía de complejos CW y trabajar con torres de Postnikov para clasificar espacios por datos de homotopía por etapas.

Aplicación incorrecta

Tratar equivalencia por homotopía como homeomorfismo (son diferentes), o ignorar coherencias superiores trabajando solo con conjuntos de homotopía ingenuos cuando son esenciales las grupos de homotopía u otra estructura superior; también se abusa cuando problemas de punto-conjunto invalidan las estructuras de modelos asumidas.

Consecuencia

Produce invariantes (grupos de homotopía, clases de mapas hasta homotopía), métodos teórico-obstruccionales y marcos estructurales (categorías de modelos, ∞-categorías, espectros) que permiten la clasificación y manipulación de espacios y mapas hasta homotopía; guía construcciones como localización y la teoría estable de homotopía.

Inversión

La visión opuesta enfatiza la equivalencia puntual o geométrica estricta (homeomorfismo, isotopía o difeomorfismo) en lugar de la equivalencia por deformación; en otro sentido, la homología o cohomología descartan datos homotópicos superiores, entregando un invariante 'aplanado'.

Límite

Se centra en fenómenos invariantes por homotopía: complejos CW, conjuntos simpliciales, categorías de modelos y espectros son dominios naturales; excluye preguntas que requieran precisión punto-conjuntista (incrustaciones salvajes, propiedades métricas finas) salvo que se reformulen homotópicamente.

Tensión semántica

Tensión entre clasificación invariante por homotopía (más burda pero a menudo calculable) y datos geométricos o medibles más finos; tensión interna entre descripciones algebraicas clásicas y formulaciones ∞-categorícas modernas de coherencia y morfismos superiores.

Síntesis

La teoría de la homotopía formaliza el estudio de espacios mediante deformaciones continuas: sustituye la igualdad por equivalencia por homotopía, desarrolla herramientas algebraicas y de categorías superiores para registrar y calcular datos de deformación, y sustenta resultados de clasificación tanto inestables como estables.