この章では、圏論の概念がどのように「言葉（定義）」として機能するかを考察します。集合論が「構成主義的（Constructive）」であるのに対し、圏論は「関係主義的（Relational）」です。
1. 構成 vs 普遍性
-
構成主義的定義（集合論）:
“Let be the group of permutations of .”
（具体的な要素を列挙して定義する） -
普遍性による定義（圏論）:
“Let be the free group on three generators.”
（他の群との関係性、つまり「普遍性」によって定義する）
後者の定義は、 の具体的な中身（要素）を知ることなく、 が持つ性質（任意の群への写像が生成元によって一意に決まること）だけで を特定します。
2. “Up to Isomorphism” の意味
圏論では、厳密な等号 ではなく、同型 が重要になります。
“The product is unique up to isomorphism.”
これは、「直積は一つに定まるが、その具体的な実装は同型を除いて一意である」という意味です。数学英語では、このニュアンスを伝えるために以下の表現が使われます。
- “Unique up to a unique isomorphism.”
- “Determined by its universal property.”
3. 圏論的直感の獲得
圏論を学ぶことは、数学的対象を「中身」ではなく「役割」で見る目を養うことです。
-
群: 要素の集合 + 演算
-
圏論的群: 一つの対象 + 自己射のモノイド構造
-
位相空間: 点の集合 + 開集合族
-
圏論的位相空間: 開集合の位相空間（位相空間の圏における対象）
この視点の転換により、異なる分野（代数・位相・論理）が統一された言語で記述可能になります。