カテゴリー: category theory

ダニエル・カン（Daniel Kan, 1927–2013）は、イスラエル出身で主にアメリカ（MIT）で活躍した数学者です。彼はホモトピー論を「連続的な図形（トポロジー）」の世界から「離散的な組み合わせ（代数）」の色分け…
Read more

ビクトル・ポストニコフ（Victor Postnikov）は、ソビエト連邦（現ロシア）の数学者です。時代背景としては、第二次世界大戦後から冷戦期にかけて活躍した人物です。 活動時期の目安 数学史における立ち位置 1950…
Read more

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

cobordismやinfinigy categoryによると、光よりも早い動きを持つなんらかの性質は存在することが証明されているが、それが事実どのように「観測されるか」は別問題である。現代の発見は小さすぎて、メンデレー…
Read more

1. なぜ “Triangular” ではなく “Simplicial” なのか？ 数学者が Simplicial という言葉を好むのは、「2次元の三角形」だけでなく、あら…
Read more

不変量（Invariants）の定義の時代変化 「ユークリッド的な静止は、高次圏における恒等射（Identity Morphism）の過大評価に過ぎない。Voevodskyが示したのは、等しさとは状態ではなく、空間を繋ぐ…
Read more

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

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

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

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