「米田の補題」の版間の差分

削除された内容追加された内容

インライン

2023年12月17日 (日) 14:44時点における最新版

米田の補題（よねだのほだい、英: Yoneda lemma）とは、小さなhom集合をもつ圏 $C$ について、共変あるいは反変hom関手 $hom(A, _)$ , $hom(_, A)$ から集合値関手 $F$ への自然変換と、値となる集合 $F (A)$ の要素との間に一対一対応が存在するという定理である。「米田の補題」という名称は、米田信夫に因んでソーンダース・マックレーンにより名付けられた^[1]^[2]^[3]。その主張は、マックレーンによれば、米田の仕事に早くから現れていたという^[4]。ただし、エミリー・リール（英語版）によれば、この補題が初めて (明示的に) 論文に登場したのは Grothendieck (1960) である^[5]。

米田の補題は、普遍性という概念の根幹に関わる重要な補題であり、また、圏論において「間違いなく最も重要な結果である」^[6]「もしかしたら最も利用されているただ1つの結果かもしれない」^[7]と言われている。

概要

主張の内容

$C$ を局所的に小さい（locally small）圏とする。すなわち $C$ の各対象 $A$ , $B$ に対して $hom(A, B)$ は集合であるとする。対象 $A$ を固定するとき、共変hom関手 $H A = hom(A, _) : C \to Set$ は対象 $X$ に対して、集合 $hom(A, X)$ を割り当て、射 $f : X \to Y$ に対して写像 $hom(A, f) = f ◦ (_) : hom(A, X) \to hom(A, Y)$ を割り当てる関手であった。さらに、 $F : C \to Set$ を集合値関手とし、 $H A$ から $F$ へのすべての自然変換のクラス $Nat(H A, F)$ について考える。

このとき、米田写像（Yoneda map）と呼ばれる全単射 $y:\mathop {\mathrm {Nat} } (H^{A},F)\cong F(A)$ が存在し、この同型は $A \in C$ と $F \in Set C$ について自然である、という主張が米田の補題である。また、 $F$ が反変関手 $C op \to Set$ である場合も、反変hom関手 $H A = hom(_, A)$ との間に $y:\mathop {\mathrm {Nat} } (H_{A},F)\cong F(A)$ という全単射が存在して、これは $A$ と $F$ について自然となる。このことはどちらも米田の補題と呼ばれる。

米田写像の対応

関手 $F$ は共変 ( $C \to Set$ ) とする。このとき、共変hom関手 $H A = hom(A, _)$ から $F$ への自然変換 $τ : H A \Rightarrow F$ は、任意の $C$ の射 $f : X \to Y$ に対して ${\textstyle \tau _{Y}\circ H^{A}(f)=Ff\circ \tau _{X}}$ が定義から成り立つ。いま、 $f : A \to Y$ の場合に、 $A$ での恒等射 $id A$ がどのように写るかを追うことで、等式 $\tau _{Y}(f)=Ff(\tau _{X}(\mathrm {id} _{A}))$ を得る。ここから、自然変換 $τ : H A \Rightarrow F$ の情報は ${\textstyle \tau _{X}(\mathrm {id} _{A})\in F(A)}$ から全て得られることがわかる。

証明

米田写像 $y$ を、自然変換 $τ$ に対して $y(\tau )=\tau _{A}(\mathrm {id} _{A})$ で定める。 $y$ が全単射であることを示す。

単射性： $a ∊ F (A)$ に対して、自然変換 $τ : H A \Rightarrow F$ が存在して $y (τ) = a$ であったとする。このとき、任意の射 $f : A \to Y$ に対して $τ$ は ${\textstyle \tau _{Y}(a)=Ff(a)}$ を満たす。これにより $τ$ の全てのコンポーネントが一意に定まる、すなわちそのような $τ$ は一意に定まるため、 $y$ は単射である。

全射性： $a ∊ F (A)$ を任意に固定する。 $C$ の対象 $X$ それぞれに対して、写像 $τ X : hom(A, X) \to F (X)$ を ${\textstyle \tau _{X}(f)=Ff(a)}$ で定める。このとき、 $f : X \to Y$ と $g : A \to X$ に対して $Ff(\tau _{X}(g))=F(f\circ g)(a)=\tau _{Y}(f\circ g)$ が成り立つことから、 $τ X$ はある自然変換 $τ : H A \Rightarrow F$ のコンポーネントである。定義から $τ A (id A) = a$ であるため $y (τ) = a$ が成り立つ。すなわち $y$ は全射である。

補題の帰結

普遍性

集合値関手 $F : C \to Set$ が、ある $H A = hom(A, _)$ と自然同型であるとき、 $F$ を表現可能関手 (representable functor) といい、 $A$ は $F$ の表現対象 (representing object) あるいは単に $F$ の表現という。 $F$ が表現可能関手であるとき、米田の補題の帰結として次の主張が成り立つ。

定理 (Leinster 2014, Corollary 4.3.3) ― 圏 $C$ が局所的に小さく、関手 $F : C \to Set$ は表現可能とする。このとき、 $F$ の表現は以下の条件が成り立つような $C$ の対象 $A$ と $u \in F (A)$ の組によって構成される。

任意の $B \in C$ と $x \in F (B)$ の組に対して、 $C$ の射 $x : A \to B$ がただ1つ存在して、 $F x (u) = x$ が成り立つ。

逆に、上記定理の条件を満たす $A$ と $u \in F (A)$ の組を $F$ の普遍要素 (universal element) と呼ぶ。より一般に、関手 $F : C \to D$ と $d \in D$ に対して、 $d$ の $F$ への普遍性 (universality) とは、 $A \in C$ と $D$ の射 $u : d \to FA$ の組であって、任意の $B \in C$ と $D$ の射 $x : d \to FB$ に対して、 $C$ の射 $x : A \to B$ がただ1つ存在して、 $F x ◦ u = x$ が成り立つことを言う。

普遍要素の性質は一点集合からの普遍性と言えて、普遍性は $D (d, F_) : C \to Set$ の普遍要素として表現できるため、普遍性・普遍要素・表現可能関手はそれぞれ互いの概念を包含する^[8]。

米田埋め込み

米田写像の自然性から、対象 $A \in C$ に関手 $H A = hom(A, _)$ 、あるいは $H A = hom(_, A)$ を割り当てる操作は、関手

$H^{\bullet }:\mathbf {C} ^{\mathrm {op} }\to [\mathbf {C} ,\mathbf {Set} ]\quad (H_{\bullet }:\mathbf {C} \to [\mathbf {C} ^{\mathrm {op} },\mathbf {Set} ])$ を構成する。米田の補題から ${\textstyle \mathop {\mathrm {Nat} } (H^{A},H^{B})\cong H^{B}(A)=\mathop {\mathrm {hom} } (A,B)}$ であるため、 $H •$ ( $H •$ ) は忠実充満であることが言える。このことから、 $H •$ ( $H •$ ) を米田埋め込み (Yoneda embedding) とも呼ぶ。米田埋め込みは $Y$ ^[9]や $よ$ ^[10]^[11]などの記号によって表されることもある。

関手 $F : C \to Set$ に対して、 $F$ の「要素の圏」(category of elements) $El A$ とは、 $X ∊ C$ 、 $x \in FX$ の組とその関係を保つ $C$ の射からなる圏 (すなわち、米田埋め込み $Y C : C op \to Set C$ を用いたコンマ圏 $Y C ↓ F$ ) のことである。 $El A$ から $C$ の情報を取り出す関手を $Φ F : El F \to C op$ と表すとき、 $F$ は $Y C ◦ Φ F : El F \to Set C$ の余極限 (と同型) である^[12]。つまり、任意の集合値関手は表現可能関手による余極限として表される。

前層の部分対象分類子

有限の極限を持つ圏 $C$ 上の前層（英語: presheaf）とは $C$ からの反変関手 $P : C op \to Set$ のことであり、このとき前層の圏を $ˆ C = Set C op$ で表す。圏 $ˆ C$ の部分対象分類子（英語: subobject classifier）とは、(存在するならば) $ˆ C$ の対象 $Ω$ とモノ射 $true : 1 \to Ω$ ( $1$ は終対象) であって、任意のモノ射 $j : U \to X$ に対して、 $χ j ◦ j = true$ かつその可換図式が引き戻しとなるような ${\textstyle \chi _{j}:X\to \Omega }$ がただ1つ存在するようなものを言う。

前層の圏 $ˆ C$ への米田埋め込みを $Y : C \to Set C op$ で表すとする。いま、 $ˆ C$ に部分対象分類子 $Ω : C op \to Set$ が存在するならば、特に $YC = Hom C (_, C)$ ( $C \in C$ ) について $\mathrm {Hom} _{\hat {\mathbf {C} }}(YC,\Omega )=\mathop {\mathrm {Nat} } (\mathrm {Hom} _{\mathbf {C} }(\_,C),\Omega )\cong \Omega (C)$ が成り立つ (右の同型が米田の補題から従う)。部分対象分類子の定義から、左辺の集合は $YC$ の部分対象の集合と互いに1対1対応する。従って、等式全体が $C$ について自然であることから、 $ˆ C$ は必ず部分対象分類子を持ち、それは表現可能な前層 $YC$ の部分対象を調べればよいことがわかる^[13]。

豊穣圏での補題

豊穣圏とは、通常の圏におけるhom集合 (すなわち対象の間の射の集合) の代わりに、順序集合、加法群、その他の対象 (一般には、あるモノイダル圏 $V$ の対象として記述される) を割り当てるような一般化した構造であり、例えばこの意味で通常の圏は $Set$ -豊穣圏、2-圏は $Cat$ -豊穣圏と言える。豊穣圏の理論では、 $V$ の条件によって (具体的には完備かどうかによって) 米田の補題は強いものと弱いものに分けられる。

(弱い) 米田の補題 (Kelly 2005, p. 21, §1.9) ― 圏 $V$ は対称モノイダル閉、 $A$ は $V$ -豊穣圏で $K$ はその対象、 $F : A \to V$ は $V$ -関手とする。このとき、 $A (K, _)$ から $F$ への $V$ -自然変換の集合と、圏 $V$ における $I$ (モノイダル積の単位対象) から $FK$ への射の集合の間には全単射が存在する。

(強い) 米田の補題 (Kelly 2005, pp. 33–34, §2.4) ― 圏 $V$ は対称モノイダル閉かつ完備とする。このとき、 $V$ -関手 $F : A \to V$ と $K \in A$ について、次の同型が $V$ に存在する。 $\phi :FK\cong [A,V](A(K,\_),F)$

ただし豊穣圏の理論において「関手圏」 $[A, V]$ のhom対象 $[A, V](A (K, _), F)$ にあたるものは、関手 $V (A (K, _), F_)$ のエンド（英語版）である。 $[A,V](A(K,\_),F):=\int _{x\in A}V(A(K,x),Fx)$

脚注

[脚注の使い方]

^ Kinoshita 1996
^ Kinoshita 1998
^ MacLane 1998a
^ Mac Lane 1998, p. 77
^ Riehl 2016, p. 57
^ Riehl 2016, p. 50
^ Awodey 2010, p. 191
^ Mac Lane 1998, pp. 57–61
^ Mac Lane (1998) など。
^ Johnson-Freyd, Theo; Scheimbauer, Claudia (2017-02-05). “(Op)lax natural transformations, twisted quantum field theories, and “even higher” Morita categories” (英語). Advances in Mathematics 307: 147–223. arXiv:1502.06526. doi:10.1016/j.aim.2016.11.014. ISSN 0001-8708.
^ Loregian, Fosco (2021). (Co)end Calculus. Cambridge: Cambridge University Press. arXiv:1501.02503. doi:10.1017/9781108778657. ISBN 978-1-108-74612-0 2022年10月1日閲覧。
^ Adámek, Rosický & Vitale 2010, p. 8, §0.14
^ Mac Lane & Moerdijk 1992, pp. 37–39

参考文献

Adámek, J.; Rosický, J.; Vitale, E. M. (2010). Algebraic Theories. Cambridge University Press. doi:10.1017/CBO9780511760754. ISBN 9780511760754
Awodey, Steve (2010). Category Theory. Oxford Logic Guides. Oxford University Press. ISBN 9780199237180
Bucur, I.; Deleanu, A. (1968). Introduction to the theory of categories and functors. Wiley. ISBN 047011651X
Grothendieck, A. (1958-1960), Technique de descente et théorèmes d'existence en géométrie algébriques. II. Le théorème d'existence en théorie formelle des modules.
Kelly, G. M. (1982) (英語). Basic concepts of Enriched Category Theory. Lecture Notes in Mathematics. 64. Cambridge University Press. ISBN 978-0-521-28702-9
- (再版) Kelly, G. M. (2005). “Basic Concepts of Enriched Category Theory”. Reprints in Theory and Applications of Categories 10: 1–136 2022年9月25日閲覧。.
Kinoshita, Yoshiki (1996年4月23日) (英語), Prof. Nobuo Yoneda passed away , Wikidata Q106653302
Kinoshita, Yoshiki (1998年1月), “Nobuo Yoneda” (英語), Mathematica Japonicae 47 (1): 155, ISSN 0025-5513 , Wikidata Q106653378
Leinster, Tom (2014). Basic category theory. Cambridge: Cambridge University Press. arXiv:1612.09375. ISBN 978-1-107-36006-8. OCLC 886649936
Mac Lane, S. (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). Springer-Verlag. ISBN 0-387-98403-8 邦訳：『圏論の基礎』
MacLane, Saunders (1998年1月), “The Yoneda Lemma” (英語), Mathematica Japonicae 47 (1): 156, ISSN 0025-5513 , Wikidata Q106653429
Mac Lane, Saunders; Moerdijk, Ieke (1992). Sheaves in Geometry and Logic : A First Introduction to Topos Theory. Springer New York. doi:10.1007/978-1-4612-0927-0. ISBN 978-0-387-97710-2. OCLC 828776278
Riehl, Emily (2016) (pdf). Category Theory in Context. Aurora; Modern Math Originals. Dover Publications. ISBN 9780486809038 2022年9月22日閲覧。

@@ 1行目: / 1行目: @@
-'''米田の補題'''（よねだのほだい、{{lang-en-short|Yoneda lemma}}）とは、小さなhom集合をもつ[[圏 (数学)|圏]] {{Math|'''C'''}} について、共変[[hom関手]] {{Math|hom(''A'' , _) : '''C''' → '''Set'''}} から集合値関手 {{Math|''F'' : '''C''' → '''Set'''}} への[[自然変換]]と、集合である対象 {{Math|''F''(''A'')}} の要素との間に一対一対応が存在するという定理である。名称は[[米田信夫]]に因む。
+'''米田の補題'''（よねだのほだい、{{lang-en-short|Yoneda lemma}}）とは、小さなhom集合をもつ[[圏 (数学)|圏]] {{Math|'''C'''}} について、共変あるいは反変[[hom関手]] {{Math|hom(''A'' , _)}}, {{Math|hom(_, ''A'')}} から集合値関手 {{Math|''F''}} への[[自然変換]]と、値となる集合 {{Math|''F''(''A'')}} の要素との間に一対一対応が存在するという定理である。「米田の補題」という名称は、[[米田信夫]]に因んで[[ソーンダース・マックレーン]]により名付けられた<ref>{{harvnb|Kinoshita|1996}}</ref><ref>{{harvnb|Kinoshita|1998}}</ref><ref>{{harvnb|MacLane|1998a}}</ref>。その主張は、マックレーンによれば、米田の仕事に早くから現れていたという<ref>{{Harvnb|Mac Lane|1998|p=77}}</ref>。ただし、{{仮リンク|エミリー・リール|en|Emily Riehl}}によれば、この補題が初めて (明示的に) 論文に登場したのは {{Harvtxt|Grothendieck|1960}} である<ref>{{Harvnb|Riehl|2016|p=57}}</ref>。
+米田の補題は、普遍性という概念の根幹に関わる重要な補題であり、また、圏論において「間違いなく最も重要な結果である」<ref>{{Harvnb|Riehl|2016|p=50}}</ref>「もしかしたら最も利用されているただ1つの結果かもしれない」<ref>{{Harvnb|Awodey|2010|p=191}}</ref>と言われている。
 ==概要==
-{{Math|'''C'''}} を局所的に小さい（locally small）圏とする。すなわち {{Math|'''C'''}} の各対象 {{Mvar|A}}, {{Mvar|B}} に対して {{Math|hom(''A'', ''B'')}} は集合であるとする。対象 {{Mvar|A}} を固定するとき、共変hom関手 {{Math|1=h<sub>''A''</sub> = hom(''A'', _) : '''C''' → '''Set'''}} は対象 {{Mvar|X}} に対して、集合 {{Math|hom(''A'', ''X'')}} を割り当て、射 {{Math|''f'' : ''X'' → ''Y''}} に対して写像 {{Math|1=hom(''A'', ''f'') = ''f'' ◦ (_) : hom(''A'', ''X'') → hom(''A'', ''Y'')}} を割り当てる関手であった。
+=== 主張の内容 ===
-さらに、 {{Math|''F'' : '''C''' → '''Set'''}} を集合値関手とし、{{Math|h<sub>''A''</sub>}} から {{Mvar|F}} へのすべての自然変換のクラス {{Math|Nat(h<sub>''A''</sub>, ''F'')}} について考える。
+{{Math|'''C'''}} を局所的に小さい（locally small）圏とする。すなわち {{Math|'''C'''}} の各対象 {{Mvar|A}}, {{Mvar|B}} に対して {{Math|hom(''A'', ''B'')}} は集合であるとする。対象 {{Mvar|A}} を固定するとき、共変hom関手 {{Math|1=''H''<sup>''A''</sup> = hom(''A'', _) : '''C''' → '''Set'''}} は対象 {{Mvar|X}} に対して、集合 {{Math|hom(''A'', ''X'')}} を割り当て、射 {{Math|''f'' : ''X'' → ''Y''}} に対して写像 {{Math|1=hom(''A'', ''f'') = ''f'' ◦ (_) : hom(''A'', ''X'') → hom(''A'', ''Y'')}} を割り当てる関手であった。さらに、 {{Math|''F'' : '''C''' → '''Set'''}} を集合値関手とし、{{Math|''H''<sup>''A''</sup>}} から {{Mvar|F}} へのすべての自然変換のクラス {{Math|Nat(''H''<sup>''A''</sup>, ''F'')}} について考える。
+このとき、'''米田写像'''（Yoneda map）と呼ばれる全単射<math display="block">y:\mathop{\mathrm{Nat}}(H^A,F)\cong F(A)</math>が存在し、この同型は {{Math|''A'' ∈ '''C'''}} と {{Math|''F'' ∈ '''Set'''<sup>'''C'''</sup>}} について自然である、という主張が米田の補題である。また、{{Mvar|F}} が反変関手 {{Math|'''C'''<sup>op</sup> → '''Set'''}} である場合も、反変hom関手 {{Math|1=''H''<sub>''A''</sub> = hom(_, ''A'')}} との間に<math display="block">y:\mathop{\mathrm{Nat}}(H_A,F)\cong F(A)</math>という全単射が存在して、これは {{Mvar|A}} と {{Mvar|F}} について自然となる。このことはどちらも米田の補題と呼ばれる。
-このとき、'''米田写像'''（Yoneda map）と呼ばれる全単射
-:{{Math|''y'' : Nat(h<sub>''A''</sub>, ''F'') ≃ ''F''(''A'')}}
+=== 米田写像の対応 ===
-が存在するというのが米田の補題である。
+関手 {{Mvar|F}} は共変 ({{Math|'''C''' → '''Set'''}}) とする。このとき、共変hom関手 {{Math|1=''H''<sup>''A''</sup> = hom(''A'', _)}} から {{Mvar|F}} への自然変換 {{Math|''τ'' : ''H''<sup>''A''</sup> ⇒ ''F''}} は、任意の {{Mbf|C}} の射 {{Math|''f'' : ''X'' → ''Y''}} に対して <math display="inline">\tau_Y\circ H^A(f)=Ff\circ\tau_X</math> が定義から成り立つ。いま、{{Math|''f'' : ''A'' → ''Y''}} の場合に、{{Mvar|A}} での恒等射 {{Math|id<sub>''A''</sub>}} がどのように写るかを追うことで、等式<math display="block">\tau_Y(f)=Ff(\tau_X(\mathrm{id}_A))</math>を得る。ここから、自然変換 {{Math|''τ'' : ''H''<sup>''A''</sup> ⇒ ''F''}} の情報は <math display="inline">\tau_X(\mathrm{id}_A)\in F(A) </math> から全て得られることがわかる。
 ==証明==
+米田写像 {{Mvar|y}} を、自然変換 {{Mvar|τ}} に対して <math>y(\tau)=\tau_A(\mathrm{id}_A)</math> で定める。{{Mvar|y}} が全単射であることを示す。
-{{Mvar|θ}} を {{Math|'''C'''}} の各対象 {{Mvar|X}} に {{Math|'''Set'''}} の射 {{Math|''θ''<sub>''X''</sub> : hom(''A'', ''X'') → ''F''(''X'')}} を割り当てる関数とするとき、{{Mvar|θ}} が {{Math|h<sub>''A''</sub>}} から {{Mvar|F}} への自然変換であるというのは、{{Math|'''C'''}} の任意の射 {{Math|''f'' : ''X'' → ''Y''}} に対して
-:{{Math|1=''θ''<sub>''Y''</sub>  ◦  hom(''A'', ''f'') = ''F''(''f'')  ◦  ''θ''<sub>''X''</sub>}}
-が成り立つことであった。これは '''{{Math|'''Set'''}}''' の射 {{Math|hom(''A'', ''X'') → ''F''(''Y'')}} の等式なので、言い換えると任意の {{Math|hom(''A'', ''X'')}} の元 {{Math|''g'' : ''A'' → ''X''}} において等しい値
-:{{Math|1=(''θ''<sub>''Y''</sub>  ◦  hom(''A'', ''f''))(''g'') = (''F''(''f'')  ◦  ''θ''<sub>''X''</sub>)(''g'')}}
-を持つこととなる。hom関手の定義より、結局 {{Mvar|θ}} が自然変換であるための必要十分条件は、任意の射 {{Math|''f'' : ''X'' → ''Y''}} と {{Math|''g'' : ''A'' → ''X''}} に対して、
-:{{Math|1=''θ''<sub>''Y''</sub> (''f''  ◦''g'') = ''F''(''f'')(''θ''<sub>''X''</sub> (''g''))}}
-が成り立つことである。特に、{{Mvar|θ}} が自然変換であるときに {{Math|1=''g'' = id<sub>''A''</sub>}} を選ぶと、任意の射 {{Math|''f'' : ''A'' → ''Y''}} に対して、
-:{{Math|1=''θ''<sub>''Y''</sub>(''f'') = ''F''(''f'')(''θ''<sub>''A''</sub>(id<sub>''A''</sub>))}}
-であることが分かる。
+'''単射性'''：{{Math|''a'' ∊ ''F''(''A'')}} に対して、自然変換 {{Math|''τ'' : ''H''<sup>''A''</sup> ⇒ ''F''}} が存在して {{Math|1=''y''(''τ'') = ''a''}} であったとする。このとき、任意の射 {{Math|''f'' : ''A'' → ''Y''}} に対して {{Mvar|τ}} は <math display="inline">\tau_Y(a)=Ff(a)</math> を満たす。これにより {{Mvar|τ}} の全てのコンポーネントが一意に定まる、すなわちそのような {{Mvar|τ}} は一意に定まるため、{{Mvar|y}} は単射である。
-米田写像 {{Mvar|y}} を自然変換 {{Mvar|θ}} に対して
-:{{Math|1=''y''(''θ'') = ''θ''<sub>''A''</sub>(id<sub>''A''</sub>)}}
-で定める。{{Mvar|y}} が全単射であることを示す。
-(単射性) {{Math|''a'' ∊ ''F''(''A'')}}に対して、自然変換 {{Mvar|θ}} が存在して {{Math|1=''y''(''θ'') = ''a''}} であったとする。このとき、任意の射 {{Math|''f'' : ''A'' → ''Y''}} に対して {{Mvar|θ}} は
+'''全射性'''：{{Math|''a'' ∊ ''F''(''A'')}} を任意に固定する。{{Math|'''C'''}} の対象 {{Mvar|X}} それぞれに対して、写像 {{Math|''τ''<sub>''X''</sub> : hom(''A'', ''X'') → ''F''(''X'')}} を <math display="inline">\tau_X(f)=Ff(a)</math> で定める。このとき、{{Math|''f'' : ''X'' → ''Y''}} と {{Math|''g'' : ''A'' → ''X''}} に対して <math>Ff(\tau_X(g))=F(f\circ g)(a)=\tau_Y(f\circ g)</math> が成り立つことから、{{Math|''τ''<sub>''X''</sub>}} はある自然変換 {{Math|''τ'' : ''H''<sup>''A''</sup> ⇒ ''F''}} のコンポーネントである。定義から {{Math|1=''τ''<sub>''A''</sub>(id<sub>''A''</sub>) = ''a''}} であるため {{Math|1=''y''(''τ'') = ''a''}} が成り立つ。すなわち {{Mvar|y}} は全射である。
-:{{Math|1=''θ''<sub>''Y''</sub>(''f'') = ''F''(''f'')(''a'')}}
-を満たす。これにより {{Mvar|θ}} の各コンポーネントが一意に定まるため、 {{Mvar|y}} は単射である。
+== 補題の帰結 ==
-(全射性) {{Math|''a'' ∊ ''F''(''A'')}} を任意に固定する。このとき、{{Math|'''C'''}} の対象 {{Mvar|X}} それぞれに対して写像 {{Math|''τ''<sub>''X''</sub> : hom(''A'', ''X'') → ''F''(''X'')}} を以下で定義する：
+=== 普遍性 ===
-:{{Math|1=''τ''<sub>''X''</sub>(''f'') := ''F''(''f'')(''a'')}}
+集合値関手 {{Math|''F'' : '''C''' → '''Set'''}} が、ある {{Math|1=''H''<sup>''A''</sup> = hom(''A'', _)}} と自然同型であるとき、{{Mvar|F}} を[[表現可能関手]] (representable functor) といい、{{Mvar|A}} は {{Mvar|F}} の表現対象 (representing object) あるいは単に {{Mvar|F}} の表現という。{{Mvar|F}} が表現可能関手であるとき、米田の補題の帰結として次の主張が成り立つ。
+{{Math theorem|圏 {{Mbf|C}} が局所的に小さく、関手 {{Math|''F'' : '''C''' → '''Set'''}} は表現可能とする。このとき、{{Mvar|F}} の表現は以下の条件が成り立つような {{Mbf|C}} の対象 {{Mvar|A}} と {{Math|''u'' ∈ ''F''(''A'')}} の組によって構成される。
+* 任意の {{Math|''B'' ∈ '''C'''}} と {{Math|''x'' ∈ ''F''(''B'')}} の組に対して、{{Mbf|C}} の射 {{Math|{{Overline|''x''}} : ''A'' → ''B''}} がただ1つ存在して、{{Math|''F''{{Overline|''x''}}(''u'') {{=}} ''x''}} が成り立つ。|note={{Harvnb|Leinster|2014|loc=Corollary 4.3.3}}}}
+逆に、上記定理の条件を満たす {{Mvar|A}} と {{Math|''u'' ∈ ''F''(''A'')}} の組を {{Mvar|F}} の普遍要素 (universal element) と呼ぶ。より一般に、関手 {{Math|''F'' : '''C''' → '''D'''}} と {{Math|''d'' ∈ '''D'''}} に対して、{{Mvar|d}} の {{Mvar|F}} への[[普遍性]] (universality) とは、{{Math|''A'' ∈ '''C'''}} と {{Mbf|D}} の射 {{Math|''u'' : ''d'' → ''FA''}} の組であって、任意の {{Math|''B'' ∈ '''C'''}} と {{Mbf|D}} の射 {{Math|''x'' : ''d'' → ''FB''}} に対して、{{Mbf|C}} の射 {{Math|{{Overline|''x''}} : ''A'' → ''B''}} がただ1つ存在して、{{Math|1=''F''{{Overline|''x''}} ◦ ''u'' = ''x''}} が成り立つことを言う。
+普遍要素の性質は一点集合からの普遍性と言えて、普遍性は {{Math|'''D'''(''d'', ''F''_) : '''C''' → '''Set'''}} の普遍要素として表現できるため、普遍性・普遍要素・表現可能関手はそれぞれ互いの概念を包含する<ref>{{Harvnb|Mac Lane|1998|pp=57–61}}</ref>。
-このとき、任意の射 {{Math|''f'' : ''X'' → ''Y''}} と {{Math|''g'' : ''A'' → ''X''}} に対して
-:{{Math|1=''τ''<sub>''Y''</sub>(''f'' ◦''g'') = ''F''(''f'' ◦''g'')(a) = ''F''(''f'')(''F''(''g'')(''a'')) = ''F''(''f'')(''τ''<sub>''X''</sub>(''g''))}}
+=== 米田埋め込み ===
-が成り立つことから、{{Math|''τ''<sub>''X''</sub>}} を各コンポーネントとする自然変換 {{Mvar|τ}} の存在が示される。定義から {{Math|1=''τ''<sub>''A''</sub>(id<sub>''A''</sub>) = ''a''}} であるため {{Math|1=''y''(''τ'') = ''a''}} が成り立つ。
+米田写像の自然性から、対象 {{Math|''A'' ∈ '''C'''}} に関手 {{Math|1=''H''<sup>''A''</sup> = hom(''A'', _)}}、あるいは {{Math|1=''H''<sub>''A''</sub> = hom(_, ''A'')}} を割り当てる操作は、関手
+<math display="block">H^\bull:\mathbf{C}^{\mathrm{op}}\to[\mathbf{C},\mathbf{Set}]\quad(H_\bull:\mathbf{C}\to[\mathbf{C}^{\mathrm{op}},\mathbf{Set}]) </math>を構成する。米田の補題から <math display="inline">\mathop{\mathrm{Nat}}(H^A,H^B)\cong H^B(A)=\mathop{\mathrm{hom}}(A,B)</math> であるため、{{Math|''H''<sup>•</sup>}} ({{Math|''H''<sub>•</sub>}}) は忠実充満であることが言える。このことから、{{Math|''H''<sup>•</sup>}} ({{Math|''H''<sub>•</sub>}}) を'''米田埋め込み''' (Yoneda embedding) とも呼ぶ。米田埋め込みは {{Mvar|Y}} <ref>{{Harvtxt|Mac Lane|1998}} など。</ref>や {{Math|よ}} <ref>{{Cite journal|last=Johnson-Freyd|first=Theo|last2=Scheimbauer|first2=Claudia|year=2017|date=2017-02-05|title=(Op)lax natural transformations, twisted quantum field theories, and “even higher” Morita categories|url=https://www.sciencedirect.com/science/article/pii/S0001870816303164|journal=Advances in Mathematics|volume=307|pages=147–223|language=en|arxiv=1502.06526|doi=10.1016/j.aim.2016.11.014|issn=0001-8708}}</ref><ref>{{Cite book|洋書|title=(Co)end Calculus|url=https://www.cambridge.org/core/books/coend-calculus/C662E90767358B336F17B606D19D8C43|publisher=Cambridge University Press|date=2021|location=Cambridge|isbn=978-1-108-74612-0|doi=10.1017/9781108778657|first=Fosco|last=Loregian|access-date=2022-10-01|arxiv=1501.02503}}</ref>などの記号によって表されることもある。
-==圏の完備化==
-{{Math|'''C'''}} を局所的に小さな圏とする。'''{{Math|'''C'''}}''' から[[関手#関手圏|関手圏]] {{Math|'''Set'''<sup>'''C'''</sup>}} への関手 {{Math|h<sub>(_)</sub> : '''C'''<sup>op</sup> → '''Set'''<sup>'''C'''</sup>}}
-:（対象関数） {{Math|1=h<sub>''A''</sub> = hom(''A'', _)}}　共変hom関手
-:（射関数）　 {{Math|1=h<sub>''f'' <sup>op</sup> : ''B'' → ''A''</sub> = hom(''A'', _)}} <math>\dot{\rightarrow}</math> {{Math|hom(''B'', _)}}　共変hom関手間の自然変換
-を'''グロタンディーク関手'''（Grothendieck functor）と呼ぶ<ref>[http://www.encyclopediaofmath.org/index.php/Grothendieck_functor Encyclopedia of Mathematics : Grothendieck functor]　ただし、添字の上下はリンク先と便宜上、反対にした。</ref>。
+関手 {{Math|''F'' : '''C''' → '''Set'''}} に対して、{{Mvar|F}} の「要素の圏」(category of elements) {{Math|''El A''}} とは、{{Math|''X'' ∊ '''C'''}}、{{Math|''x'' ∈ ''FX''}} の組とその関係を保つ {{Mbf|C}} の射からなる圏 (すなわち、米田埋め込み {{Math|''Y''<sub>'''C'''</sub>: '''C'''<sup>op</sup> → '''Set'''<sup>'''C'''</sup>}} を用いたコンマ圏 {{Math|''Y''<sub>'''C'''</sub> ↓ ''F''}}) のことである。{{Math|''El A''}} から {{Mbf|C}} の情報を取り出す関手を {{Math|Φ<sub>''F''</sub> : ''El F'' → '''C'''<sup>op</sup>}} と表すとき、{{Mvar|F}} は {{Math|''Y''<sub>'''C'''</sub> ◦ Φ<sub>''F''</sub> : ''El F'' → '''Set'''<sup>'''C'''</sup>}} の余極限 (と同型) である<ref>{{Harvnb|Adámek|Rosický|Vitale|2010|p=8|loc=§0.14}}</ref>。つまり、任意の集合値関手は表現可能関手による余極限として表される。
-ここで、共変hom関手の間の自然変換について
-:{{Math|1=''y'' : Nat(h<sub>''A''</sub>, h<sub>''B''</sub>) ≃ h<sub>''B''</sub>(''A'') = hom<sub>'''C'''</sub>(''B'', ''A'')}}
-が、米田の補題から成り立つ。ここで、関手圏の射が自然変換であったことから
-:{{Math|1=Nat(h<sub>''A''</sub>, h<sub>''B''</sub>) = hom<sub>'''Set'''<sup>'''C'''</sup></sub>(h<sub>''A''</sub>, h<sub>''B''</sub>)}}
-とhom集合で書きなおすことができ、'''{{Math|'''C'''}}''' のhom集合と {{Math|'''Set'''<sup>'''C'''</sup>}} のhom集合との間に全単射
-:{{Math|hom<sub>'''C'''</sub>(''B'', ''A'') ≃ hom<sub>'''Set'''<sup>'''C'''</sup></sub>(h<sub>''A''</sub>, h<sub>''B''</sub>)}}
-が存在することがわかる。すなわち、グロタンディーク関手 {{Math|h}} は[[関手#関手に対する様々な条件|充満忠実]]である。
+=== 前層の部分対象分類子 ===
+[[ファイル:SubobjectClassifier-02.png|サムネイル|部分対象分類子の可換図式]]
+有限の極限を持つ圏 {{Mbf|C}} 上の{{日本語版にない記事リンク|前層 (圏論)|en|Presheaf (category theory)|label=前層|interwikilabel=presheaf|links=no}}とは {{Mbf|C}} からの反変関手 {{Math|''P'' : '''C'''<sup>op</sup> → '''Set'''}} のことであり、このとき前層の圏を {{Math|1={{Hat|'''C'''}} = '''Set'''<sup>'''C'''<sup>op</sup></sup>}} で表す。圏 {{Mbf|{{Hat|C}}}} の{{日本語版にない記事リンク|部分対象分類子|en|subobject classifier|links=no}}とは、(存在するならば) {{Mbf|{{Hat|C}}}} の対象 {{Math|Ω}} と[[モニック射|モノ射]] {{Math|true : 1 → Ω}} ({{Math|1}}は[[始対象と終対象|終対象]]) であって、任意のモノ射 {{Math|''j'' : ''U'' → ''X''}} に対して、{{Math|1=''χ''<sub>''j''</sub> ◦ ''j'' = true}} かつその可換図式が[[引き戻し (圏論)|引き戻し]]となるような <math display="inline">\chi_j:X\to\Omega</math> がただ1つ存在するようなものを言う。
+前層の圏 {{Mbf|{{Hat|C}}}} への米田埋め込みを {{Math|''Y'': '''C''' → '''Set'''<sup>'''C'''<sup>op</sup></sup>}} で表すとする。いま、{{Mbf|{{Hat|C}}}} に部分対象分類子 {{Math|Ω : '''C'''<sup>op</sup> → '''Set'''}} が存在するならば、特に {{Math|1=''YC'' = Hom<sub>'''C'''</sub>(_, ''C'')}} ({{Math|''C'' ∈ '''C'''}}) について<math display="block">\mathrm{Hom}_{\hat{\mathbf{C}}}(YC,\Omega)=\mathop{\mathrm{Nat}}(\mathrm{Hom}_{\mathbf{C}}(\_,C),\Omega)\cong\Omega(C)</math>が成り立つ (右の同型が米田の補題から従う)。部分対象分類子の定義から、左辺の集合は {{Mvar|YC}} の部分対象の集合と互いに1対1対応する。従って、等式全体が {{Mvar|C}} について自然であることから、{{Mbf|{{Hat|C}}}} は必ず部分対象分類子を持ち、それは表現可能な前層 {{Mvar|YC}} の部分対象を調べればよいことがわかる<ref>{{Harvnb|Mac Lane|Moerdijk|1992|pp=37–39}}</ref>。
+== 豊穣圏での補題 ==
+[[豊穣圏]]とは、通常の圏におけるhom集合 (すなわち対象の間の射の集合) の代わりに、[[順序集合]]、[[加法群]]、その他の対象 (一般には、ある[[モノイド圏|モノイダル圏]] {{Mvar|V}} の対象として記述される) を割り当てるような一般化した構造であり、例えばこの意味で通常の圏は {{Mbf|Set}}-豊穣圏、2-圏は {{Mbf|Cat}}-豊穣圏と言える。豊穣圏の理論では、{{Mvar|V}} の条件によって (具体的には[[完備圏|完備]]かどうかによって) 米田の補題は強いものと弱いものに分けられる。
+{{Math theorem|圏 {{Mvar|V}} は対称モノイダル閉、{{Mvar|A}} は {{Mvar|V}}-豊穣圏で {{Mvar|K}} はその対象、{{Math|''F'' : ''A'' → ''V''}} は {{Mvar|V}}-関手とする。このとき、{{Math|''A''(''K'', _)}} から {{Mvar|F}} への {{Mvar|V}}-自然変換の集合と、圏 {{Mvar|V}} における {{Mvar|I}} (モノイダル積の単位対象) から {{Mvar|FK}} への射の集合の間には全単射が存在する。|note={{Harvnb|Kelly|2005|p=21|loc=§1.9}}|name=(弱い) 米田の補題}}{{Math theorem|圏 {{Mvar|V}} は対称モノイダル閉かつ完備とする。このとき、{{Mvar|V}}-関手 {{Math|''F'' : ''A'' → ''V''}} と {{Math|''K'' ∈ ''A''}} について、次の同型が {{Mvar|V}} に存在する。
+<math display="block">\phi:FK\cong[A,V](A(K,\_),F)</math>|name=(強い) 米田の補題|note={{Harvnb|Kelly|2005|pp=33–34|loc=§2.4}}}}
+ただし豊穣圏の理論において「関手圏」{{Math|[''A'', ''V'']}} のhom対象 {{Math|[''A'', ''V''](''A''(''K'', _), ''F'')}} にあたるものは、関手 {{Math|''V''(''A''(K, _), ''F''_)}} の{{仮リンク|エンド (圏論)|en|End (category theory)|label=エンド|interwikilabel=end}}である。<math display="block">[A,V](A(K,\_),F):=\int_{x\in A}V(A(K,x),Fx)</math>
 == 脚注 ==
 {{脚注ヘルプ}}
@@ 57行目: / 54行目: @@
 ==参考文献==
+* {{Cite book|洋書|title=Algebraic Theories|year=2010|publisher=Cambridge University Press|ref=harv|last=Adámek|first=J.|isbn=9780511760754|last2=Rosický|first2=J.|last3=Vitale|first3=E. M.|doi=10.1017/CBO9780511760754}}
-{{参照方法|date=2016年3月}}
+* {{Cite book|title=Category Theory|year=2010|publisher=Oxford University Press|ref=harv|last=Awodey|first=Steve|author-link=:en:Steve Awodey|series=Oxford Logic Guides|isbn=9780199237180|洋書}}
-* {{Cite book|last1=Bucur|first1=I.|last2=Beleanu|first2=A.|title=Introduction to the theory of categories and functors|year=1968}}
+* {{Cite book|last1=Bucur|first1=I.|last2=Deleanu|first2=A.|title=Introduction to the theory of categories and functors|year=1968|洋書|publisher=Wiley|isbn=047011651X}}
-* {{citation | last=Freyed|first=P.|origyear=1964|year=2003| title=Abelian Categories | url=http://tac.mta.ca/tac/reprints/articles/3/tr3.pdf}} p.112-113
-* {{citation | last=Grothendieck|first=A.| title=Technique de descente et théorèmes d'existence en géométrie algébriques. II. Le théorème d'existence en théorie formelle des modules.|year=1958-1960| url=http://www.numdam.org/numdam-bin/item?id=SB_1958-1960__5__369_0}}
+* {{citation | last=Grothendieck|first=A.|洋書|ref={{Harvid|Grothendieck|1960}}| title=Technique de descente et théorèmes d'existence en géométrie algébriques. II. Le théorème d'existence en théorie formelle des modules.|year=1958-1960| url=http://www.numdam.org/numdam-bin/item?id=SB_1958-1960__5__369_0}}
+<!--
-* {{citation | last=Grothendieck|first=A.| title=Techniques de construction en géométrie analytique. IV. Formalisme général des foncteurs représentables|year=1960-1961| url=http://www.numdam.org/numdam-bin/item?id=SHC_1960-1961__13_1_A7_0}}
+* {{citation | last=Grothendieck|first=A.|洋書| title=Techniques de construction en géométrie analytique. IV. Formalisme général des foncteurs représentables|year=1960-1961| url=http://www.numdam.org/numdam-bin/item?id=SHC_1960-1961__13_1_A7_0}}
-* {{citation | last=MacLane|first=S.|year=1965| title=Categorical algebra | url=http://www.ams.org/journals/bull/1965-71-01/S0002-9904-1965-11234-4/S0002-9904-1965-11234-4.pdf | MacLane(1965) }} p.54-55
+-->
-* {{citation | last=MacLane|first=S.|year=1971 | title=Categorical algebra and set-theoretic foundations| url=http://www.princeton.edu/~hhalvors/teaching/phi536_s2011/maclane1971.pdf}} p.237
-* {{cite book|last=MacLane|first=S.|title=Categories for the Working Mathematician|publisher=Springer-Verlag|year=1998|edition=2nd|series=Graduate Texts in Mathematics|volume=5|url={{google books|MXboNPdTv7QC|plainurl=yes}}|isbn=0-387-98403-8 | ref=harv }} 邦訳：『圏論の基礎』
+* {{Cite book|洋書|title=Basic concepts of Enriched Category Theory|year=1982|publisher=Cambridge University Press|ref=harv|last=Kelly|first=G. M.|author-link=:en:Max Kelly|series=Lecture Notes in Mathematics|language=英語|isbn=978-0-521-28702-9|volume=64}}
-* {{cite book|last=Mitchell|first=B.|title=Theory of Categories|year=1965|publisher=Academic Press|url=http://www.scribd.com/doc/14006200/Barry-Mitchell-Theory-of-Categories}} p.97-99
+** (再版) {{Cite journal|洋書|last=Kelly|first=G. M.|author-link=:en:Max Kelly|year=2005|title=Basic Concepts of Enriched Category Theory|url=http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html|journal=Reprints in Theory and Applications of Categories|volume=10|pages=1–136|accessdate=2022-09-25|ref=harv}}
+* {{Cite Q|Q106653302|last=Kinoshita|first=Yoshiki}}
-* {{citation |last=Stauffer|first=H. B.| title=A relationship between left exact and representable functors|year=1971| url=http://cms.math.ca/cjm/v23/cjm1971v23.0374-0380.pdf}}
+* {{Cite Q|Q106653378|last=Kinoshita|first=Yoshiki}}
-* {{citation |last=Stauffer|first=H. B.| title=The completion of an abelian category|year=1972| url=http://www.ams.org/journals/tran/1972-170-00/S0002-9947-1972-0302738-0/S0002-9947-1972-0302738-0.pdf}}
+* {{Cite book|title=Basic category theory|url=|date=|location=Cambridge|isbn=978-1-107-36006-8|oclc=886649936|first=Tom|last=Leinster|year=2014|publisher=Cambridge University Press|洋書|arxiv=1612.09375|ref=harv}}
-* {{cite book|和書|author=大熊正|year=1979|title=圏論（カテゴリー）|publisher=槙書店 | ref=大熊(1979) }}
+* {{cite book|last=Mac Lane|first=S.|title=Categories for the Working Mathematician|publisher=Springer-Verlag|year=1998|edition=2nd|series=Graduate Texts in Mathematics|volume=5|url={{google books|MXboNPdTv7QC|plainurl=yes}}|isbn=0-387-98403-8 | ref=harv |洋書}} 邦訳：『圏論の基礎』
-* {{cite book|和書|author=河田敬義|title=ホモロジー代数I,II|publisher=岩波書店|year=1977|}}
+* {{Cite Q|Q106653429|last=MacLane|first=Saunders|year=1998a}}
-* {{cite book|和書|author=中山 正, 服部 昭|title=復刊 ホモロジー代数学|publisher=共立出版|year=2010|}}
+* {{Cite book|洋書|title=Sheaves in Geometry and Logic : A First Introduction to Topos Theory|year=1992|publisher=Springer New York|ref=harv|last=Mac Lane|first=Saunders|isbn=978-0-387-97710-2|last2=Moerdijk|first2=Ieke|oclc=828776278|doi=10.1007/978-1-4612-0927-0}}
-* {{cite web|title=Category Theory in Context|last=Riehl|first=Emily|url=http://www.math.jhu.edu/~eriehl/context.pdf|accessdate=2021-04-23}}
+<!--
+* {{Cite journal|洋書|last=Stauffer|first=H. B.|month=April|year=1971|title=A Relationship between Left Exact and Representable Functors|journal=Canadian Journal of Mathematics|volume=23|issue=2|pages=374–380|ref=harv|DOI=10.4153/CJM-1971-038-2|ISSN=0008-414X}}
+* {{Cite journal|洋書|last=Stauffer|first=H. B.|year=1972|title=The completion of an abelian category|journal=Transactions of the American Mathematical Society|volume=170|pages=403-414|publisher=American Mathematical Society|ref=harv|DOI=10.1090/S0002-9947-1972-0302738-0}}
+-->
+* {{Cite book|洋書|title=Category Theory in Context|year=2016|publisher=Dover Publications|ref=harv|last=Riehl|first=Emily|url=https://emilyriehl.github.io/files/context.pdf|format=pdf|series=Aurora; Modern Math Originals|access-date=2022-09-22|isbn=9780486809038}}
 == 関連項目 ==
@@ 77行目: / 79行目: @@
 * [[ホモロジー代数]]
 * [[アーベル圏]]
+{{圏論}}
 {{DEFAULTSORT:よねたのほたい}}
@@ 82行目: / 86行目: @@
 [[Category:補題]]
 [[Category:数学に関する記事]]
+[[Category:数学のエポニム]]

表話編歴圏論
主要項目	圏射エピモニック図式可換図式自然変換圏同値反対圏始対象と終対象普遍性米田の補題双対極限帰納極限射影極限積余積像余像等化子余等化子トポス核余核引き戻しモナド Kan拡張
関手	加法的完全充満随伴対角忠実導来表現可能本質的全射 Hom関手
具体的圏	関手圏前加法圏集合の圏マグマの圏群の圏アーベル群の圏擬環の圏環の圏加群の圏ベクトル空間の圏多元環の圏位相空間の圏距離空間の圏多様体の圏
圏の類	完備圏コンマ圏部分圏モノイド閉圏デカルト閉圏アーベル圏導来圏クライスリ圏デカルトモノイド圏
一般化	豊穣圏 2-圏圏の圏
人物	ソーンダース・マックレーンサミュエル・アイレンベルグアレクサンドル・グロタンディークウィリアム・ローヴェアハインリッヒ・クライスリ
関連分野	代数幾何学普遍代数ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ