サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ここにツイート内容が記載されますhttps://b.hatena.ne.jp/URLはspanで囲んでください
Twitterで共有ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
数学の最も抽象的な核心は、structured homotopy typesをファンクターとして扱い、それらの相互作用＝du...数学の最も抽象的な核心は、structured homotopy typesをファンクターとして扱い、それらの相互作用＝dualities・correspondencesで世界を説明することに集約できる。 ここでいう構造とは、単に集合上の追加情報ではなく、加法や乗法のような代数的構造、位相的・解析的な滑らかさ、そしてさらにsheafやstackとしての振る舞いまで含む。 現代の主要な発展は、これらを有限次元的な点や空間として扱うのをやめ、∞-categoricalな言葉でfunctorial worldに持ち込んだ点にある。 Jacob Lurie の HigherTopos Theory / Spectral Algebraic Geometry が示すのは、空間・代数・解析・同値を一つの∞-topos的な舞台で同時に扱う方法論。 これにより空間＝式や対象＝表現といった古典的二分法が溶
