数学は高度に抽象化されたのに、なぜ

多様体、ベクトル束、接続、変分法、測地線

などのあまり洗練されてないツールは改良されなかったのか……