カテゴリー: Proof Theory

米田 博（よねだ・ひろし、Hiroshi Yoneda, 1926年 – 2017年）は、日本の数学者であり、圏論・ホモロジー代数の世界的な先駆者の一人です。彼の名前を冠した「米田の補題（Yoneda Lemma）」は、…
Read more

デイビッド・スピバック（David Spivak）は、アメリカの数学者で、圏論（Category Theory）を応用して複雑なシステムや構造を記述する研究で知られています。彼のアプローチは、抽象数学（とくに高次圏論やト…
Read more

命題: Model・Duality・Functorという構造は、空間の介入によって時間が再編成されても「忘れられない」 ここで重要なのは、それが記憶か、それとも基底構造かという分岐です。 ✅ 仮説：Model, Dual…
Read more

🧭 再定義の構造：TANAAKK EVGRID = Elastic Vehicle Grid™ 🌀 TANAAKK EVGRID = 都市の「移動関数」 都市空間を次のようにみなすと： EVGRIDはこの関数の中で、各V…
Read more

Robert Duncan MacPherson（ロバート・ダンカン・マクファーソン、1944年5月25日生まれ）は、米国オハイオ州レイクウッド出身の数学者で、特に代数幾何学・トポロジー・層理論・特異点理論の分野で世界的…
Read more

**バエズ＝ドーランのコボルディズム仮説（Baez–Dolan Cobordism Hypothesis）は、1995年にジョン・バエズ（John Baez）とジェームズ・ドーラン（James Dolan）**によって提…
Read more

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

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

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

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