カテゴリー: 01-Mathematics

「グロタンディークの業績は幾何、代数、解析的概念による圏論の拡張である」もう少し厳密に言えば、幾何・代数・解析を統合しうる“共通言語”として圏論を用い、それを限界まで拡張した、というのがグロタンディークの本質的な業績です…
Read more

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

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

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

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

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

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

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

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

ダフィット・ヒルベルト（David Hilbert, 1862年1月23日 – 1943年2月14日）は、ドイツ出身の数学者であり、19世紀末から20世紀前半にかけての数学界の中心的人物です。彼の功績は代数学、解析学、幾…
Read more