カテゴリー: Higher Algebra (HA)

Decrypt history, Encrypt future™

higher category theory|strict (∞,∞) categoryのオントロジー一般化

1.∞ simplex↔︎0 simplex  (gluing/nerveされればされるほどdimensionが落ち、低いdimensionではsimplexの識別力は支配的ではなくなる。) 2.0 complex↔︎∞…
Read more

DAMM|Derived Algebraic Modular Model™

TANAAKKが提唱するWell-Architected Modular Model™ (WAMM™) はDerived Algebraic Modular Model(導来代数モジュラーモデル)へと進化しました。これは…
Read more

∞-Operad

数学や理論物理学(特に超弦理論など)の文脈で登場する ∞-Operad(インフィニティ・オペラド) は「結合法則や交換法則が、厳密な等号ではなく『連続的な変形(ホモトピー)』の意味で成り立つ代数構造」を扱うための枠組みで…
Read more

Cobordism Hypothesis コボルディズム仮説

コボルディズム仮説(Cobordism Hypothesis)は、1995年にジョン・バエズ(John Baez)とジェームズ・ドラン(James Dolan)によって提唱され、2008年頃にジェイコブ・ルーリーによって…
Read more

Mike Hopkins マイクホプキンス

1. ホプキンスの直観:トポロジーを「数」として扱う マイクホプキンスの専門は安定ホモトピー論(Stable Homotopy Theory)です。彼は、図形の変形(ホモトピー)とい形状操作を、代数的な「数」や「環」と同…
Read more

エミー・ネーター Emmy Noether

エミー・ネーター(Emmy Noether)の功績は大きく分けて2つの柱があります。1つは物理学の根幹を成す「ネーターの定理」、もう1つは現代数学の景色を塗り替えた「抽象代数学(abstract algebra)」の確立…
Read more

導来代数幾何学|Derived Algebraic Geometry

導来代数幾何学(Derived Algebraic Geometry, 通称 DAG)とは、代数幾何の対象(スキームや層)にホモロジー的・ホモトピー的構造を付加して、より柔軟で深い構造を扱えるようにした拡張理論 です。こ…
Read more