カテゴリー: Logic

∞-groupoid（無限次群対象）構想とは、 「空間」や「型」などの対象を、それ自身の“等価性・変形・そのまた変形…”の無限階層構造を持つ「∞-群対象」として記述しようという考え方です。 これは**アレクサンダー・グロ…
Read more

**高次圏論（Higher category theory）**とは、**「対象と射（morphism）だけでなく、“射の射”や“射の射の射”…といった階層的な写像を扱う拡張された圏論」**です。 通常の圏論（1-圏）で…
Read more

**Quinean Holism（クワイン的全体論）とは、アメリカの哲学者ウィラード・ヴァン・オーマン・クワイン（W.V.O. Quine）**が提唱した哲学的立場で、主に次のような主張を含みます： 🔹定義（概要） 「理…
Read more

**∞-圏論（インフィニティけんろん、英: ∞-category theory）**とは、 「対象と射の間に“高次の射”が無限階層で存在するような、拡張された圏論」を扱う現代数学の理論です。 これは、従来の圏論（cate…
Read more

ウィリアム・ローウィア（Francis William Lawvere、1937年2月9日 – 2023年1月23日）は、アメリカ合衆国の数学者であり、圏論、トポス理論、数学の哲学における先駆的な業績で知られています。​…
Read more

「トポロジカル（topological）」と「ホモトピカル（homotopical）」は似て非なる概念です。両者は密接に関係していますが、焦点と扱う対象が異なります。 ✅ 結論： すべてのホモトピカルな性質はトポロジカル…
Read more

ホモトピー（Homotopy）の歴史は、トポロジーの発展とともに展開されてきた数学の一大潮流です。その本質は、「空間の連続的な変形」に関する概念であり、次第に代数的・論理的な枠組みへと進化してきました。 🧭 1. 初期：…
Read more

Type Theory（型理論）の来歴は、論理学・数学のパラドックスの回避から始まり、計算理論・プログラミング・現代幾何学へと展開します。 🧱 1. 起源：パラドックスの回避（20世紀初頭） ▫️ ラッセルの型理論（19…
Read more

Curry–Howard対応（Curry–Howard Correspondence）は、論理学・型理論・計算機科学の橋渡しとなる非常に重要な発見です。最初から体系的に提唱されたものではなく、複数の研究者の独立した成果が…
Read more

Homotopy Type Theory（HoTT、ホモトピー型理論）とは、型理論（Type Theory） と ホモトピー理論（Homotopy Theory） を統合した、21世紀初頭に登場した新しい数学的基礎理論で…
Read more