集合論と圏論数学的構造の二大パラダイム── 要素で見る数学、矢印で見る数学

＜昨年読んだ圏論の「け」いや左の「レ」くらいしか理解できなかったのでとりあえずAIにまとめてもらったメモです＞

目　次

集合論と圏論：数学的構造の二大パラダイム
第1章　プロローグ ── 数学の「土台」と「架け橋」............. 2
第2章　存在論の断絶 ── 要素か、矢印か.......................... 6
第3章　記号の深層心理学 ── ∈ から → へ........................ 9
第4章　同一性の哲学 ── 一致か、同型か........................ 12
第5章　構築の作法 ── レシピか、普遍性か..................... 15
第6章　極限と余極限 ── 構造の「果て」を捉える............. 18
第7章　関手（Functor） ── 世界を翻訳する..................... 21
第8章　自然変換（Natural Transformation） 変化の変化.... 24
第9章　随伴（Adjunction） ── 数学における最も深い調和 27
第10章　トポス論 ── 論理の圏論化................................ 30
第11章　計算機科学への応用 ── 型論と圏論.................... 33
第12章　エピローグ ── 抽象の極みで見える景色............ 36

第1章　プロローグ ── 数学の「土台」と「架け橋」

1.1　集合論：20世紀数学の「素材」としての基礎

20世紀の幕開けとともに、数学者たちは深刻な危機に直面していた。数学の各分野──算術、幾何学、解析学──はそれぞれ独自の公理系と証明の流儀をもち、互いの間に真の意味での論理的な橋がかかっていなかった。「数とは何か」「点とは何か」「無限とは何か」という根本問いに、誰も満足のいく答えを出せなかったのである。

この混乱に終止符を打ったのが、ゲオルク・カントール（Georg Cantor, 1845–1918）の集合論であった。カントールは「集合（Menge）」という概念を導入し、あらゆる数学的対象を集合で表現できると主張した。自然数1, 2, 3, … は集合であり、関数は集合の間の「グラフ」、すなわち順序対の集合であり、実数も有理数のコーシー列の同値類として集合論的に構成できる。カントールの洞察は革命的だった。数学のあらゆる素材が「集合」という単一の材料から作れるとするこのアイデアは、数学に真の意味での統一された土台を与えた。

しかし、カントールの素朴集合論は致命的な矛盾を孕んでいた。「すべての集合の集合」や「自分自身を元として含まない集合すべての集合」（ラッセルのパラドックス）といった概念が矛盾を生んだのである。バートランド・ラッセル（Bertrand Russell）とゴットロープ・フレーゲ（Gottlob Frege）との往復書簡によって白日の下にさらされたこの矛盾は、数学基礎論に激震をもたらした。

この問題を解決するために生まれたのが、エルンスト・ツェルメロ（Ernst Zermelo）とアブラハム・フレンケル（Abraham Fraenkel）によるZF公理系（Zermelo–Fraenkel set theory）、そして選択公理を加えたZFC公理系である。ZFCは現代数学の標準的な基礎として広く採用されており、数学者たちが証明を行う際の暗黙のフレームワークとなっている。

ZFCの公理はいくつかあるが、最も中心的なのは外延性の公理（Axiom of Extensionality）である。これは「2つの集合が等しいのは、それらが全く同じ要素をもつときであり、またそのときに限る」という原理だ。記号で書けば、∀x(x∈A ⟺ x∈B) ならば A = B。この公理は一見当たり前に見えるが、「同じ要素を持てば、どんな名前をつけようとも同じ集合である」という強力な主張を含んでいる。集合のアイデンティティは、その「中身」によって完全に決まるのである。

こうして集合論は20世紀数学の礎石となった。「数学の世界に存在するものはすべて集合である」という宣言は、あらゆる数学的概念に共通の言語と記号法をもたらした。∈（属する）、⊂（部分集合）、∪（和集合）、∩（共通部分）、×（デカルト積）、Hom（写像の集合）──これらの記号は今日でも数学書のあらゆるページに登場し、数学者の思考の基本文法となっている。