カテゴリー: Homotopy Type Theory HTT

コホモロジー（Cohomology）は、トポロジー（位相幾何学）において、空間の「穴」や「構造」を代数的な道具（群や環）を使って測るための手法です。ホモロジー（Homology）の共形のような存在ですが、現代数学ではコホ…
Read more

ルーリー（Lurie）のいう infinitude（無限性） と、ヴォエヴォドスキーの Univalent Foundations（一価性基礎付け） を結びつける背景は「局所（Local）から全域（Global）への無限…
Read more

IAS（プリンストン高等研究所）の物理学、特に弦理論（String Theory）や量子重力、ホログラフィー原理（AdS/CFT）を研究している層において、ヴォエヴォドスキーやルーリーの数学的基盤が「OS」のように機能し…
Read more

Teleological Finity Bypassing とは、特定の**「目的（Telos）」を最終的な「同一性（Identity）」としてInvariants化し、そこに至るまでの膨大な「有限のステップ（Finit…
Read more

ウラジーミル・ヴォエヴォドスキー（Vladimir Voevodsky）の業績、「代数的K-理論・モチヴィック・コホモロジー」「ホモトピー型理論（HoTT）・単価基礎（Univalent Foundations）」 ウラ…
Read more

Higher Inductive Types (HITs) の日本語での定義は、ホモトピー型理論（HoTT）における「型の新しい構成法」として次のように記述されます。 従来の型（データ型）の定義が「値（点）」のみに注目し…
Read more

「Truncatability（切断可能性）」は、高次カテゴリー論やホモトピー理論において非常に専門的な意味を持つ概念です。 一言で言えば、「高次の複雑な構造を、低次のデータだけで完全に復元できるか？」という性質を指しま…
Read more

子供の頃からの疑問がやっと解決できた。私は文法、文脈、論理というほとんどの人が信じているものを幼い頃から認知することができていない。論理や文法、あるいは隠喩や暗黙のルールで感動することができないのである。その理由がやっと…
Read more

「境界の境界はゼロである」という直感が、d2= 0 という簡潔な数式に凝縮されるまでには、人類の数千年にわたる「形」と「数」の格闘がありました。 この歴史は、バラバラだった幾何学（目に見える形）と代数（計算のルール）が、…
Read more

ケヴィン・バザード（Kevin Buzzard）とLean（リーン）の登場は、数学界における「ボエボドスキー以降」の最も熱いムーブメントです。ボエボドスキーが「理論的基礎（OS）」を作ったとすれば、バザードはそれを「実用…
Read more