カテゴリー: 01-Mathematics

IHESの終身教授であったAlexander Grothendieck(アレクサンドル・グロタンディーク)が1983年に執筆した『Pursuing Stacks（積の追跡）』は、現代の数学、特に数学的物理学や数理幾何学に…
Read more

strict(∞,∞)-categoryを前提とすると全てのcategoric simplexは唯一のデータとして保存される。一方、strata, sheaf, fibreは全て柔らかく可変であり、あとからテーブルクロス…
Read more

アンドレイ・マルコフの軌跡と「マルコフ性」、そして「ヴィタビ・アルゴリズム」の歴史的・計算論的な文脈を整理。これらが単なる統計のツールではなく、「ノイズだらけの現実世界（物理空間）から、最も確からしい測地線（Geodes…
Read more

「拡張24次ゴレイ符号（Extended binary Golay code）」 拡張24次ゴレイ符号とは何か？ 一言で言えば、「人類が発見した中で、最も美しく、最も完璧な自己修復（誤り訂正）能力を持つ情報のパッキング構…
Read more

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

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

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

アンドレ・ジョイヤル（André Joyal）が提唱し、ジェイコブ・ルーリーが応用したQuasi-category（クェーシ・カテゴリー / 擬圏）は、現代数学の「高次化」を実現するためのモデルです。通常のカテゴリー（圏…
Read more

ジェイコブルーリーの体系化は「数学（代数、数論、幾何、トポロジー）の内部における論理的整合性」を極限まで追求した結果として誕生したものです。物理学的な仮説を直接的な出発点にしたわけではありませんが、面白いことに、結果とし…
Read more

最も広範な記述言語である ∞-Category を頂点とし、特定の公理や制約、あるいは「幾何学的な付加構造」によって各階層を定義します。 1. ∞-Category (Quasi-category) 【ことわりの全域】 …
Read more