Existen variedades topológicas que no admiten una estructura suave en dimensiones > 3, pero no he visto mucha discusión sobre el tipo de homotopía. Parece mucho más razonable que podamos encontrar una homotopía de variedad suave (de la misma dimensión) equivalente a una variedad topológica dada. ¿Es esto cierto o hay un contraejemplo?