この章では、集合論の「要素」の視点から、「矢印（Morphism）」の視点へ移行します。圏論は「数学の数学」と呼ばれ、異なる数学分野間の共通構造を記述する言語です。
1. 圏（Category）の定義
圏 は、以下の二つのデータから構成されます。
- Objects（対象）: 集合や空間などの抽象的な対象の集まり 。
- Morphisms（射）: 対象間の矢印 。
これらは以下の公理を満たします。
- Composition (合成): 射 と に対して、合成射 が存在する。
- “There exists a composition .”
- Associativity (結合律): .
- “Composition is associative.”
- Identity (恒等射): 各対象 に対して、恒等射 が存在し、 かつ を満たす。
- “For every object , there exists an identity morphism .“
2. 集合論 vs 圏論：言語の転換
| 概念 | 集合論の言葉 (Set Theory) | 圏論の言葉 (Category Theory) |
|---|---|---|
| 基本単位 | 要素 (Element, ) | 対象 (Object, ) |
| 関係 | 属する () | 射 () |
| 等価性 | 等号 () | 同型 (Isomorphism, ) |
| 構成 | 要素の集まり (Set) | 普遍性 (Universal Property) |
【数学英語の転換例】
- 集合論: “Let be an element of .”
- 圏論: “Let be a morphism from to .” (ここで は終対象)
- 圏論では、要素 を、終対象 から への射 と見なします。これをgeneralized elementと呼びます。
3. 普遍性（Universal Property）：圏論の核心
圏論において、対象を定義する最も強力な方法は、普遍性を用いることです。これは、「その対象が持つ、他との関係性の性質」で定義する方法です。
例：直積（Product）
集合論では と定義します（中身）。
圏論では、以下のように定義します（関係）。
“An object is the product of and if and only if there exist morphisms and such that for any object and morphisms , there exists a unique morphism making the diagram commute.”
【キーワード解説】
- If and only if (iff): 定義の核心。
- Unique: 一意性。これが普遍性を保証する。
- Commutative diagram: 図式が可換であること。どの経路を通っても結果が同じであること。
4. 関手（Functor）：圏間の翻訳者
関手 は、圏 から圏 への「翻訳者」です。
- 対象 を に写す。
- 射 を に写す。
- 構造を保つ： かつ .
数学英語では、関手の性質を記述する際、**“preserves”（保つ）**という動詞が頻出します。
- “The functor preserves limits.”
- “The functor reflects isomorphisms.”