この章では、圏論の第二の核心概念である**関手（Functor）と自然変換（Natural Transformation）**を学びます。これらは、異なる数学的構造間の「翻訳」を可能にする強力な言語です。
1. 関手（Functor）：構造を保つ写像
関手 は、圏 から圏 への写像です。
- 対象の写像:
- 射の写像:
【数学英語における定義表現】
“A functor from to assigns to each object in an object in , and to each morphism in a morphism in , such that:
- for all composable morphisms .
- for all objects .”
【重要な動詞: “Preserve”】
関手の本質は、構造を**保つ（preserve）**ことです。
- “The functor preserves limits.”
- “The functor preserves products.”
2. 自然変換（Natural Transformation）：関手間の写像
自然変換 は、2つの関手 の間の「写像」です。
-
成分: 各対象 に対して、射 が存在する。
-
自然性（Naturality）: 任意の射 に対して、以下の図式が可換（commute）である。
つまり、 が成り立つ。
【数学英語における定義表現】
“A natural transformation from to assigns to each object a morphism such that for every morphism , the diagram commutes.”
【自然性（Naturality）の意味】
「自然」とは、**任意の選択に依存しない（independent of arbitrary choices）**ことを意味します。
- “The isomorphism is natural in .”
- これは、基底の選択に依存しない同型であることを示します。
- “The map is canonical.”
- 「正準的」とも訳され、特別な選択を必要としないことを示します。
3. 自然変換の例：双対空間
ベクトル空間 の双対空間 を考えます。
から への自然な埋め込み は、基底の選択に依存しません。
この は、関手 から関手 への自然変換です。