カテゴリー: 01-Mathematics

モノイダル圏（Monoidal Category）は、圏論における“テンソル積”や“並列的合成”を抽象化した構造です。アーベル圏は足し算的性質、モノイド圏は掛け算的性質を指します。 🎯 定義：モノイダル圏とは？ モノイダ…
Read more

「アーベル圏（Abelian Category）」は、代数的構造（とくに加群や加法的対象）を抽象化した圏で、ホモロジー代数や層論の基礎となる概念です。 🔶 定義：アーベル圏とは？ **アーベル圏とは、加法圏であり、核・余…
Read more

Infinity Category Theory（∞-圏論）は、高次圏論（Higher Category Theory）の拡張形（特に極限までの一般化）と見なされます。 高次圏論は「有限次元（n-圏）」を扱う理論群であり…
Read more

「General Theory of Natural Equivalences（自然同値の一般理論）」は、圏論という学問が正式に“誕生”した瞬間を示す歴史的な論文であり、**サミュエル・アイレンベルグ（Samuel Ei…
Read more

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

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

導来代数幾何学（Derived Algebraic Geometry, 通称 DAG）とは、代数幾何の対象（スキームや層）にホモロジー的・ホモトピー的構造を付加して、より柔軟で深い構造を扱えるようにした拡張理論 です。こ…
Read more