[kisoron-ml] Blakers-Massey Theorem

[logic]

上記の定理が証明されたのは第２次世界大戦が
終わって１０年と経たない頃の話ですが、
homotopy論において枢要な位置を占めており、
Freudenthal Suspension Theoremをsparkし、
stable homotopy theoryへと誘います。

この定理は２１世紀に入ってから
HoTT (Homotopy Type Theory)の枠組みの
中で構成的に別証明が与えられ、しかも
computerを用いてverificationに委ねられました。

https://zbmath.org/?q=an:1395.55011

最近、この定理をさらに一般化し、
それが単に位相空間のみならす
任意のinfinity toposで成り立つことを
示す論文をreviewしましたので、
ご案内しておきます。

https://zbmath.org/pdf/07262227.pdf

にしむら
https://www.researchgate.net/profile/Hirokazu-Nishimura
https://www.youtube.com/watch?v=X7Dlk1Jd-Jk