ホモトピー論
ホモトピー論(Homotopy Theory)
連続変形のもとで不変な性質を調べる幾何学
William Lawvere
と
グロタンディーク
が関係ある
ホモトピー論と
Martin-Löf型理論
が発展して以下が誕生した
Homotopy Type Theory(HoTT)
Univalent Foundations
Univalence Axiom (UA)
関連
ホモトピー
ファイバー束
参考
https://youtu.be/1zm8E2Y7vyY?si=IMu66jR1jnvZIvF0
確認用
Q. ホモトピー論
調査用
/pogi-log/Google.icon
ホモトピー論(日)
/pogi-log/Google.icon
Homotopy Theory(英)
/pogi-log/Wikipedia.icon
ホモトピー論 - Wikipedia(日)
ホモトピー論(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Homotopy Theory - Wikipedia(英)
Homotopy Theory(検索) - Wikipedia(英)