pro-finite completionなんて昔からあった考え方で、つまりは
何故$\pi_1$だけがアーベル群であるのかをきちんと考える数学
ですな。

猫