実解析における中間値の定理もホモトピー的だとすると
実関数論も、ホモトピー的であるといえなくもない

そもそも素人がナイーブに考える連続変形が
ホモトープの淵源なのだから意外でもなんでもない