カテゴリー: logic

1.categoric ontology 前提 あらゆるcategoryをcategoric simplexから導出する。 (∞,∞,…1)-category (∞,∞)-category strict(∞,…
Read more

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

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

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

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

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

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

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

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

∞-Groupoid（無限次亜群 / インフィニティ・グルーポイド）は、現代数学において「空間」と「代数的な構造」を同一視するための最も重要な概念の一つです。 「対象（点）」と「その間の道（パス）」、さらに「道と道の間の…
Read more