この章では、圏論の最も重要な定理の一つである**アダージョの補題（Yoneda Lemma）**を学びます。これは、圏論における「存在」と「同型」の概念を根本から変えます。
1. 表現可能関手（Representable Functor）
関手 が表現可能であるとは、ある対象 が存在して、 がホモロジー関手 と自然同型であることを意味します。
【意味】
関手 が表現可能であることは、 が「対象 への射」として完全に記述できることを意味します。
- “The functor is represented by the object .“
2. アダージョの補題
アダージョの補題は、表現可能関手の普遍性を定式化します。
Yoneda Lemma:
Let be a locally small category, and let be a contravariant functor. Then for any object in , there is a bijection between:
- Natural transformations .
- Elements of the set .
【数学英語における解釈】
“Any natural transformation from the representable functor to is uniquely determined by an element of .“
3. 帰結：対象の決定
アダージョの補題から、以下の重要な帰結が導かれます。
“An object is determined up to isomorphism by the functor .”
つまり、対象 を直接見るのではなく、 へのすべての射の集まり（関手）を見ることで、 の本質的な性質を理解できます。
【数学英語における表現】
- “The object is characterized by its representable functor.”
- “The universal property uniquely determines the object up to isomorphism.”