Steve Awodey の Category Theory を読む : Chapter 8

Steve Awodey の Category Theory を読む シリーズトップ

8.3 The Yoneda lemma

書籍の lemma 8.2 の証明は contravariant 版の米田の埋め込みに関する証明ですが、covariant 版の米田の埋め込みに対しても同様の lemma が成立します。
つまり  y \colon {\bf{C}}^{\text{op}} \to {\bf{Sets}}^{\bf{C}} を 任意の  C \in {\bf{C}} に対して  yC = \text{Hom}_{\bf{C}}(C, -) \colon {\bf{C}} \to {\bf{Sets}}、任意の  f \colon C \to D に対して  yf = \text{Hom}_{\bf{C}}(f, -) \colon \text{Hom}_{\bf{C}}(D, -) \to \text{Hom}_{\bf{C}}(C, -) で定義します。
このとき lemma 8.2 と同様に、任意の  C \in {\bf{C}} と任意の  F \in {\bf{Sets}}^{\bf{C}} に対して  \text{Hom}(yC, F) \cong FC が成立し、 y は埋め込みになります。
証明自体は書籍にある lemma 8.2 の証明とほとんど同じなので省略します。理解の確認のためにこちらの証明を書籍を見ながらやってみるといいと思います。

8.4 Applications of the Yoneda lemma

 y \left( (A^{B})^{C} \right) \cong y \left( A^{(B \times C)} \right)

 \text{Hom} \left( X, (A^{B})^{C} \right) \cong \text{Hom}(X \times C, A^{B}) \text{Hom}(X \times C, A^{B}) \cong \text{Hom} \left( (X \times C) \times B, A \right) \text{Hom} \left( X \times (B \times C), A \right) \cong \text{Hom} \left( X, A^{(B \times C)} \right) に関しては transpose を取る対応なので、exponential の UMP より同型となります。

 Lemma
\[ \text{Hom} \left( (X \times C) \times B, A \right) \cong \text{Hom} \left( X \times (B \times C), A \right) \] Proof.
同型射として  \left< \left<\pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right>^{\ast} \colon \text{Hom} \left( (X \times C) \times B, A \right) \to \text{Hom} \left( X \times (B \times C), A \right) \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right>^{\ast} \colon \text{Hom} \left( X \times (B \times C), A \right) \to \text{Hom} \left( (X \times C) \times B, A \right) を取る。
このとき、任意の  f \colon (X \times C) \times B \to A に対して  \left( \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right>^{\ast} \circ \left< \left<\pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right>^{\ast} \right)(f) = f を示せばよい。つまり   \left< \left<\pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right> = 1_{(X \times C) \times B} を示せばよい。
\[
\begin{align*}
& \pi_{X} \circ \pi_{X \times C} \circ \left< \left<\pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right> \\
&= \pi_{X} \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right> \\
&= \pi_{X} \circ \pi_{X \times C}
\end{align*}
\]\[
\begin{align*}
& \pi_{C} \circ \pi_{X \times C} \circ \left< \left<\pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right> \\
&= \pi_{C} \circ \pi_{B \times C} \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right> \\
&= \pi_{C} \circ \pi_{X \times C}
\end{align*}
\]\[
\begin{align*}
& \pi_{B} \circ \left< \left<\pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right> \qquad \\
&= \pi_{B} \circ \pi_{B \times C} \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right> \\
&= \pi_{B}
\end{align*}
\]
が成り立つので、product の UMP より   \left< \left<\pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right> = 1_{(X \times C) \times B} が成り立つ。
任意の  g \colon X \times (B \times C) \to A に対して  \left( \left< \left<\pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right>^{\ast} \circ \left< \pi_{X} \circ \pi_{X \times C}, \left< \pi_{B}, \pi_{C} \circ \pi_{X \times C} \right> \right>^{\ast} \right)(g) = g の証明も同様である。

 \square

次にそれぞれの同型射に関して、それが natural transformation であることを証明します。

 Lemma
\[ transpose \colon \text{Hom} \left( -, (A^{B})^{C} \right) \to \text{Hom}( - \times C, A^{B}) \text{ is a natural transformation}. \] Proof.
f:id:hitotakuchan:20160715153254p:plain
任意の  f \colon X' \to X g \colon X \to (A^{B})^{C} に対して
\[
\begin{align*}
(f \times 1_{C})^{\ast}(\overline{g}) &= \overline{g} \circ (f \times 1_{C}) \\
&= \epsilon \circ (g \times 1_{C}) \circ (f \times 1_{C}) \\
&= \epsilon \circ \left( (g \circ f) \times 1_{C} \right) \\
&= \overline{g \circ f} \\
&= \overline{f^{\ast}(g)}
\end{align*}
\]

 \square

 Lemma
\[ transpose \colon \text{Hom}( - \times C, A^{B}) \to \text{Hom} \left( (- \times C) \times B, A \right) \text{ is a natural transformation}. \] Proof.
f:id:hitotakuchan:20160715153305p:plain
任意の  f \colon X' \to X g \colon X \times C \to A^{B} に対して
\[
\begin{align*}
\left( (f \times 1_{C}) \times 1_{B} \right)^{\ast}(\overline{g}) &= \overline{g} \circ \left( (f \times 1_{C}) \times 1_{B} \right) \\
&= \epsilon \circ (g \times 1_{B}) \circ \left( (f \times 1_{C}) \times 1_{B} \right) \\
&= \epsilon \circ \left( (g \circ (f \times 1_{C}) \times 1_{B} \right) \\
&= \overline{g \circ (f \times 1_{C})} \\
&= \overline{(f \times 1_{C})^{\ast}(g)}
\end{align*}
\]

 \square

 Lemma
\[ \left< \left<\pi_{-}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right>^{\ast} \colon \text{Hom} \left( (- \times C) \times B, A \right) \to \text{Hom} \left( - \times (B \times C), A \right) \text{ is a natural transformation}. \] Proof.
f:id:hitotakuchan:20160715153316p:plain
任意の  f \colon X' \to X g \colon \left( (X \times C) \times B \right) \to A に対して
\[
\begin{align*}
\left( (f \times 1_{B \times C})^{\ast} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right>^{\ast} \right)(g) &= g \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ (f \times 1_{B \times C}) \\
&= g \circ \left( (f \times 1_{C}) \times 1_{B} \right) \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \\
&= \left( \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right>^{\ast} \circ \left( (f \times 1_{C}) \times 1_{B} \right)^{\ast} \right)(g)
\end{align*}
\]
が成り立つことを示せばよい。これはつまり
  \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ (f \times 1_{B \times C}) =  \left( (f \times 1_{C}) \times 1_{B} \right) \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right>
を示せばよい。
\[
\begin{align*}
\pi_{X} \circ \pi_{X \times C} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ (f \times 1_{B \times C}) &= \pi_{X} \circ (f \times 1_{B \times C}) \\
&= f \circ \pi_{X}
\end{align*}
\]\[
\begin{align*}
\pi_{X} \circ \pi_{X \times C} \circ \left( (f \times 1_{C}) \times 1_{B} \right) \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> &= \pi_{X} \circ (f \times 1_{C}) \circ \pi_{X \times C} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \\
&= f \circ \pi_{X} \circ \pi_{X \times C} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \\
&= f \circ \pi_{X}
\end{align*}
\]
\[
\begin{align*}
\pi_{C} \circ \pi_{X \times C} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ (f \times 1_{B \times C}) &= \pi_{C} \circ \pi_{B \times C} \circ (f \times 1_{B \times C}) \\
&= \pi_{C} \circ \pi_{B \times C}
\end{align*}
\]\[
\begin{align*}
\pi_{C} \circ \pi_{X \times C} \circ \left( (f \times 1_{C}) \times 1_{B} \right) \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> &= \pi_{C} \circ (f \times 1_{C}) \circ \pi_{X \times C} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \\
&= \pi_{C} \circ \pi_{X \times C} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \\
&= \pi_{C} \circ \pi_{B \times C}
\end{align*}
\]
\[
\begin{align*}
\pi_{B} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ (f \times 1_{B \times C}) &= \pi_{B} \circ \pi_{B \times C} \circ (f \times 1_{B \times C}) \\
&= \pi_{B} \circ \pi_{B \times C}
\end{align*}
\]\[
\begin{align*}
\pi_{B} \circ \left( (f \times 1_{C}) \times 1_{B} \right) \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> &= \pi_{B} \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \\
&= \pi_{B} \circ \pi_{B \times C}
\end{align*}
\]
以上が成り立つことと product の UMP より   \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> \circ (f \times 1_{B \times C}) =  \left( (f \times 1_{C}) \times 1_{B} \right) \circ \left< \left< \pi_{X}, \pi_{C} \circ \pi_{B \times C} \right>, \pi_{B} \circ \pi_{B \times C} \right> が成り立つ。

 \square

 Lemma
\[ transpose \colon \text{Hom} \left( - \times (B \times C), A \right) \to \text{Hom}( -, A^{B \times C}) \text{ is a natural transformation}. \] Proof.
f:id:hitotakuchan:20160715153323p:plain
任意の  f \colon X' \to X g \colon X \times (B \times C) \to A に対して
\[
\begin{align*}
\overline{f^{\ast}(\widetilde{g})} &= \overline{\widetilde{g} \circ f} \\
&= \epsilon \circ ( \widetilde{g} \circ f \times 1_{B \times C}) \\
&= \epsilon \circ (\widetilde{g} \times 1_{B \times C}) \circ (f \times 1_{B \times C}) \\
&= g \circ (f \times 1_{B \times C}) \\
&= (f \times 1_{B \times C})^{\ast}(g)
\end{align*}
\]
が成り立つので、exponential の UMP より  f^{\ast}(\widetilde{g}) = \widetilde{(f \times 1_{B \times C})^{\ast}(g)} が成り立つ。

 \square

Proposition 8.6

上の証明と同様に証明できるので省略しますが、ここでは covariant 版の米田の埋め込みが使われていることに注意してください。

8.5 Limits in categories of diagrams

Proposition 8.7

ここでは  \varprojlim_{i \in J}{F_{i}} \colon {\bf{C}}^{\text{op}} \to {\bf{Sets}} が functor であること。またそれが  {\bf{Sets}}^{{\bf{C}}^{\text{op}}} において limit となることの証明が省略されています。これらの事柄を確認しておきましょう。証明を考える前に Proposition 5.21 を復習して、任意の small category  J と任意の functor  F \colon J \to  {\bf{Sets}}^{{\bf{C}}^{\text{op}}} に関して  F の limit が具体的にどのように構成されるかを再度確認しておいてください。

 Lemma
\[ \left( \varprojlim_{i \in J} F_{i} \right) \text{ is a functor}. \] Proof.
任意の  C \in {\bf{C}} に対して  \left( \varprojlim_{i \in J}{F_{i}} \right)(C) = \varprojlim_{i \in J} (F_{i}C) で定義する。
次に任意の  f \colon C' \to C に対して次の diagram を考える。ただし  \phi,\psi などは Proposition 5.21 と同様に定義されているとする。
f:id:hitotakuchan:20160722162832p:plain
このとき任意の  \alpha \colon i \to j に対して  F(\alpha) が natural transformation であるから以下の diagram が可換となる。
f:id:hitotakuchan:20160722163817p:plain
このことに注意すると
\[\begin{align*}
\pi_{\alpha} \circ \psi \circ \left< F_{i}(f) \circ \pi_{i} \right>_{i \in J} \circ e_{C} &= F(\alpha)_{C'} \circ \pi_{i} \circ \left< F_{i}(f) \circ \pi_{i} \right>_{i \in J} \circ e_{C} \\
&= F(\alpha)_{C'} \circ F_{i}(f) \circ \pi_{i} \circ e_{C} \\
&= F_{j}(f) \circ F(\alpha)_{C} \circ \pi_{i} \circ e_{C} \\
&= F_{j}(f) \circ \pi_{\alpha} \circ \psi \circ e_{C} \\
&= F_{j}(f) \circ \pi_{\alpha} \circ \phi \circ e_{C} \\
&= F_{j}(f) \circ \pi_{j} \circ e_{C} \\
&= \pi_{\alpha} \circ \phi \circ \left< F_{i}(f) \circ \pi_{i} \right>_{i \in J} \circ e_{C}
\end{align*}\]
が成り立つので、product の UMP より  \psi \circ \left< F_{i}(f) \circ \pi_{i} \right>_{i \in J} \circ e_{C} = \phi \circ \left< F_{i}(f) \circ \pi_{i} \right>_{i \in J} \circ e_{C} が成り立つ。よって equalizer の UMP より diagram を可換とするような  f' \colon \varprojlim_{i \in J} F_{i}C \to \varprojlim_{i \in J} F_{i}C' がただ一つ存在する。
そこで   \left( \varprojlim_{i \in J} F_{i} \right)(f) = f' と定義する。


 \left( \varprojlim_{i \in J} F_{i} \right)(f) \colon \varprojlim_{i \in J} F_{i}C \to \varprojlim_{i \in J} F_{i}C' = \left( \varprojlim_{i \in J} F_{i} \right)(C) \to \left( \varprojlim_{i \in J} F_{i} \right)(C') より  \left( \varprojlim_{i \in J} F_{i} \right) は functor の条件 (a) を満たす。
次に equalizer の UMP より  \left( \varprojlim_{i \in J} F_{i} \right)(1_{C}) = 1_{\left( \varprojlim_{i \in J} F_{i} \right)(C)} が成り立つので、 \left( \varprojlim_{i \in J} F_{i} \right) は functor の条件 (b) を満たす。
最後に任意の  f \colon C' \to C g \colon C'' \to C' に対して、
\[\begin{align*}
\pi_{i} \circ e_{C''} \circ \left( \varprojlim_{i \in J} F_{i} \right)(f \circ g) &= \pi_{i} \circ \left< F(f \circ g) \circ \pi_{i} \right>_{i \in J} \circ e_{C} \\
&= F(g) \circ F(f) \circ \pi_{i} \circ e_{C} \\
&= \pi_{i} \circ \left< F(g) \circ \pi_{i} \right>_{i \in J} \circ \left< F(f) \circ \pi_{i} \right>_{i \in J} \circ e_{C} \\
&= \pi_{i} \circ e_{C''} \circ \left( \varprojlim_{i \in J} F_{i} \right)(g) \circ \left( \varprojlim_{i \in J} F_{i} \right)(f)
\end{align*}\]
が成り立つので、product の UMP と equalizer の UMP より  \left( \varprojlim_{i \in J} F_{i} \right)(f \circ g) = \left( \varprojlim_{i \in J} F_{i} \right)(g) \circ \left( \varprojlim_{i \in J} F_{i} \right)(f) が成り立つ。よって  \left( \varprojlim_{i \in J} F_{i} \right) は functor の条件 (c) を満たす。

 \square

次に  \theta_{i} \colon \left( \varprojlim_{i \in J} F_{i} \right) \to F_{i} を任意の  C \in {\bf{C}} に対して  {\theta_{i}}_{C} = \pi_{i} \circ e_{C} で定義します。ここで  e_{C} は上で  \left( \varprojlim_{i \in J} F_{i} \right) を定義する際に出てきたものとします。このとき  \left( \left( \varprojlim_{i \in J} F_{i} \right), (\theta_{i})_{i \in J} \right) F の limit となることを証明します。

 Lemma
\[ \left( \left( \varprojlim_{i \in J} F_{i} \right), (\theta_{i})_{i \in J} \right) \text{ is a cone of diagram } F. \] Proof.
はじめに  \theta_{i} が natural transformation となることを示す。
任意の  f \colon C' \to C に対して以下の diagram が可換になることを示せばよい。
f:id:hitotakuchan:20160722180440p:plain
\[\begin{align*}
{\theta_{i}}_{C'} \circ \left( \varprojlim_{i \in J} F_{i} \right)(f) &= \pi_{i} \circ e_{C'} \circ \left( \varprojlim_{i \in J} F_{i} \right)(f) \\
&= \pi_{i} \circ \left< F_{i}(f) \circ \pi_{i} \right>_{i \in J} \circ e_{C} \\
&= F_{i}(f) \circ \pi_{i} \circ e_{C} \\
&= F_{i}(f) \circ {\theta_{i}}_{C}
\end{align*}\]
よって  \theta_{i} は natural transformation である。

次に任意の  \alpha \colon i \to j に対して
\[\begin{align*}
F(\alpha)(C) \circ {\theta_{i}}_{C} &= F(\alpha)(C) \circ \pi_{i} \circ e_{C} \\
&= \pi_{\alpha} \circ \psi \circ e_{C} \\
&= \pi_{\alpha} \circ \phi \circ e_{C} \\
&= \pi_{j} \circ e_{C} \\
&= {\theta_{j}}_{C}
\end{align*}\]
が成り立つので  \left( \left( \varprojlim_{i \in J} F_{i} \right), (\theta_{i})_{i \in J} \right) は diagram  F の cone である。

 \square

最後に  \left( \varprojlim_{i \in J} F_{i} \right) が limit であることを証明する。

 Lemma
\[ \left( \varprojlim_{i \in J} F_{i} \right) \text{ is a limit of diagram } F. \] Proof.
f:id:hitotakuchan:20160723133652p:plain
 \left( G, (\eta_{i})_{i \in J} \right) を diagram  F の任意の cone とする。このとき Proposition 5.21 の議論にあるように、任意の  C \in {\bf{C}} に対して  \phi \circ \left< {\eta_{i}}_{C} \right>_{i \in J} = \psi \circ \left< {\eta_{i}}_{C} \right>_{i \in J} が成り立つので、 e_{C} \circ \mu_{C} = \left< {\eta_{i}}_{C} \right>_{i \in J} を満たす  \mu_{C} \colon G(C) \to \left( \varprojlim_{i \in J} F_{i} \right)(C) がただ一つ存在する。このとき  \mu \colon G \to \left( \varprojlim_{i \in J} F_{i} \right) が natural transformation となることを示す。
f:id:hitotakuchan:20160723133707p:plain
任意の  f \colon C' \to C と任意の  i \in J に対して
\[\begin{align*}
\pi_{i} \circ e_{C'} \circ \mu_{C'} \circ G(f) &= \pi_{i} \circ \left< {\eta_{i}}_{C'} \right>_{i \in J} \circ G(f) \\
&= {\eta_{i}}_{C'} \circ G(f) \\
&\underset{\eta_{i} \text{ is natural}}{=} F_{i}(f) \circ {\eta_{i}}_{C} \\
&= \pi_{i} \circ \left< F_{i}(f) \circ \pi_{i} \right>_{i \in J} \circ e_{C} \circ \mu_{C} \\
&= \pi_{i} \circ e_{C'} \circ \left( \varprojlim_{i \in J} F_{i} \right)(f) \circ \mu_{C}
\end{align*}\]
が成り立つので、product の UMP と equalizer の UMP より  \mu_{C'} \circ G(f) = \left( \varprojlim_{i \in J} F_{i} \right)(f) \circ \mu_{C} が成り立つ。

次に任意の  \nu \colon G \to \left( \varprojlim_{i \in J} F_{i} \right) が cone  \left( G, (\eta_{i})_{i \in J} \right) から cone  \left( \left( \varprojlim_{i \in J} F_{i} \right), (\theta)_{i \in J} \right) への写像とすると任意の  C \in {\bf{C}} と任意の  i \in J に対して  \pi_{i} \circ e_{C} \circ \mu_{C} = {\theta_{i}}_{C} \circ \mu_{C} = {\eta_{i}}_{C} が成り立つので、product の UMP と equalizer の UMP より  \nu_{C} = \mu_{C} が成り立つ。よって  \left( \varprojlim_{i \in J} F_{i} \right) は diagram  F の limit である。

 \square

8.6 Colimits in categories of diagrams

Proposition 8.10

証明が省略されている箇所がいくつかあるので補っておきます。
任意の  x \in P(C) に対して米田の補題によって対応する natural transformation をここでは  \theta_{x} と書くことにします。米田の補題の証明を見返して  \theta_{x} の定義を再確認してください。
はじめに任意の  h \colon (x', C') \to (x, C) に対して  \theta_{x} \circ yh = \theta_{x'} が成り立つことを証明します。

 Lemma
\[ \theta_{x} \circ yh = \theta_{x'} \] Proof.
f:id:hitotakuchan:20160728135800p:plain
任意の  C'' \in {\bf{C}} と任意の  f \colon C'' \to C' に対して
\[\begin{align*}
\left( (\theta_{x})_{C''} \circ yh \right)(f) &= P(h \circ f)(x) \\
&= \left( P(f) \circ P(h) \right)(x) \\
&= P(f)(x') \\
&= (\theta_{x'})_{C''}(f)
\end{align*}\]

 \square

次に  \theta \colon P \to Q \theta_{C}(x) = (\theta_{(x,C)})_{C}(1_{C}) で定義するとき、 \theta \circ \theta_{x} = \theta_{(x,C)} が成り立つことを証明します。

 Lemma
\[ \theta \circ \theta_{x} = \theta_{(x,C)} \] Proof.
f:id:hitotakuchan:20160729171552p:plain
任意の  g \colon C'' \to C に対して、 Q が cocone であることより上の右の diagram が可換になることに注意すると
\[\begin{align*}
\left( \theta_{C''} \circ (\theta_{x})_{C''} \right)(g) &= \theta_{C''} \left( P(g)(x) \right) \\
&= \left( \theta_{\left( P(g)(x), C'' \right)} \right)_{C''}(1_{C''}) \\
&= \left( (\theta_{(x, C)})_{C''} \circ \text{Hom}(-, g) \right)(1_{C''}) \\
&= (\theta_{(x, C)})_{C''}(g)
\end{align*}\]
が成り立つ。

 \square

次に  \theta が natural transformation であることを証明します。

 Lemma
\[ \theta \text{ is a natural transformation}. \] Proof.
f:id:hitotakuchan:20160909101920p:plain
任意の  f \colon C' \to C と任意の  x \in PC に対して、 \theta_{(x, C)} が natural transformation であるから上の右の diagram が可換になることに注意すると
\[\begin{align*}
\left( Q(f) \circ \theta_{C} \right)(x) &= \left( Q(f) \circ ( \theta_{(x, C)})_{C} \right)(1_{C}) \\
&= \left( (\theta_{(x,C)})_{C'} \circ \text{Hom}(f, -) \right)(1_{C}) \\
&= (\theta_{(x,C)})_{C'}(f)
\end{align*}\]
が成り立つ。一方先程の証明と同様に  \theta_{\left( P(f)(x), C' \right)} = \theta_{(x, C)} \circ yf が成り立つことに注意すると
\[\begin{align*}
\left( \theta_{C'} \circ P(f) \right)(x) &= (\theta_{\left( P(f)(x), C' \right)})_{C'}(1_{C'}) \\
&= \left( (\theta_{(x, C)})_{C'} \circ \text{Hom}(-, f) \right)(1_{C'}) \\
&= (\theta_{(x, C)})_{C'}(f)
\end{align*}\]
が成り立つ。

 \square

最後に  \theta が unique に決まることを証明します。

 Lemma
\[ \forall \varphi \colon P \to Q,\ \forall C,\ \forall x \in PC,\ \varphi \circ \theta_{x} = \theta_{(x, C)} \Rightarrow \varphi = \theta \] Proof.
任意の  x \in PC に対して
\[\begin{align*}
\varphi_{C}(x) &= \left( \varphi_{C} \circ (\theta_{x})_{C} \right)(1_{C}) \\
&= (\varphi \circ \theta_{x})_{C}(1_{C}) \\
&= (\theta_{(x,C)})_{C}(1_{C}) \\
&= \theta_{C}(x)
\end{align*}\]
が成り立つので  \varphi = \theta である。

 \square

8.7 Exponentials in categories of diagrams

ここでは  \theta_{j} \times B が cocone となることの証明が省略されていますが、これは簡単なので確認しておいてください。
次の  \theta_{C} が isomorphism であることを証明する箇所で  A_{j},B が集合であるとみなしてよいという点がわかりにくいかもしれません。
Propostiion 8.7 や 8.8 の議論から functor category においては limit や colimit は pointwise に定義されるのでした。そこで  \theta_{C} \colon \left( \varinjlim_{j}(A_{j} \times B) \right) (C) \to \left( (\varinjlim_{j} A_{j}) \times B \right)(C) の domain と codomain を展開すると  \theta_{C} \colon \varinjlim_{j} \left( A_{j}(C) \times B(C) \right) \to \left( \varinjlim_{j} A_{j}(C) \right) \times B(C) となります。 A_{j}(C) B(C) は集合です。そこで、 (C) の部分を書くのを省略して(記号を乱用して)  A_{j}, B を初めから集合とみなして考えましょうということです。

書籍では covariant 版の米田の補題を用いて  \varinjlim_{j}(A_{j} \times B) \cong (\varinjlim_{j} A_{j}) \times B を証明するという方針がとられています。証明では同型射であることは示されていますが、 X に関して natural であることの証明が省略されているので、これを補っておきます。

 \text{Hom} \left( \varinjlim_{j}(A_{j} \times B), X \right) \cong \varprojlim_{j} \text{Hom} (A_{j} \times B, X)

まず、任意の  X に対して  \text{Hom} \left( \varinjlim_{j}(A_{j} \times B), X \right) \cong \varprojlim_{j} \text{Hom} (A_{j} \times B, X) を証明します。

 Lemma
\[ \text{Hom} \left( \varinjlim_{j}(A_{j} \times B), X \right) \cong \varprojlim_{j} \text{Hom} (A_{j} \times B, X) \] Proof.
Proposition 5.21 の議論から colimit は以下の diagram によって具体的に構成される。
f:id:hitotakuchan:20160804114324p:plain
Corollary 5.27 より contravariant representable functor によって全ての colimit は limit に移されることに注意して以下の diagram を考える。
f:id:hitotakuchan:20160804121117p:plain
ここで  (- \times B) \circ A A \times B と表すとすると、 \phi',\ \psi' はそれぞれ  \pi_{\alpha} \circ \phi' = \pi_{i},\ \pi_{\alpha} \circ \psi' = (A \times B)(\alpha)^{\ast} \circ \pi_{j} を満たす。

  •  \theta_{X} の定義

任意の  f \colon \varinjlim_{i} (A_{i} \times B) \to X に対して、 (\phi^{\ast} \circ e^{\ast})(f) = f \circ e \circ \phi = f \circ e \circ \psi = (\psi^{\ast} \circ e^{\ast})(f) が成り立つ。よって  f \circ e \circ i_{i} = f \circ e \circ \phi \circ i_{\alpha} = f \circ e \circ \psi \circ i_{\alpha} = f \circ e \circ i_{j} \circ (A \times B)(\alpha) が成り立つことに注意すると、
\[\begin{align*}
(\pi_{\alpha} \circ \phi' \circ \left< - \circ i_{i} \right>_{i \in J} \circ e^{\ast})(f) &= \pi_{i} \circ \left< f \circ e \circ i_{i} \right>_{i \in J} \\
&= f \circ e \circ i_{i} \\
&= f \circ e \circ i_{j} \circ (A \times B)(\alpha) \\
&= (A \times B)(\alpha)^{\ast} \circ \pi_{j} \circ \left< f \circ e \circ i_{i} \right>_{i \in J} \\
&= (\pi_{\alpha} \circ \psi' \circ \left< - \circ i_{i} \right>_{i \in J} \circ e^{\ast})(f)
\end{align*}\]
が成り立つ。よって product の UMP と equalizer の UMP より  e' \circ \theta_{X} = \left< - \circ i_{i} \right>_{i \in J} \circ e^{\ast} を満たすただ一つの  \theta_{X} が存在する。

  •  \theta_{X}^{-1} の定義

任意の  g \in \varprojlim_{i} \text{Hom} \left( (A_{i} \times B), X \right) に対して、 \left( \phi^{\ast} \circ \left[ \pi_{i}(-) \right]_{i \in J} \circ e' \right)(g) = \left[ \pi_{i} \left( e'(g) \right) \right]_{i \in J} \circ \phi であることに注意すると、
\[\begin{align*}
\left[ \pi_{i} \left( e'(g) \right) \right]_{i \in J} \circ \phi \circ i_{\alpha} &= \left[ \pi_{i} \left( e'(g) \right) \right]_{i \in J} \circ i_{i} \\
&= \pi_{i} \left( e' (g) \right) \\
&= (\pi_{\alpha} \circ \phi' \circ e')(g)
\end{align*}\]
同様に、
\[\begin{align*}
\left[ \pi_{i} \left( e'(g) \right) \right]_{i \in J} \circ \psi \circ i_{\alpha} &= \left[ \pi_{i} \left( e'(g) \right) \right]_{i \in J} \circ i_{j} \circ (A \times B)(\alpha) \\
&= \pi_{j} \left( e'(g) \right) \circ (A \times B)(\alpha) \\
&= (\pi_{\alpha} \circ \psi' \circ e')(g)
\end{align*}\]
が成り立つ。よって  \phi' \circ e' = \psi' \circ e' であるから、coproduct の UMP と equalizer の UMP より  e^{\ast} \circ \theta_{X}^{-1} = [ \pi_{i}(-) ]_{i \in J} \circ e' を満たすただ一つの  \theta_{X}^{-1} が存在する。

  •  \theta_{X} が isomorphism であること

 \left< - \circ i_{i} \right>_{i \in J} \circ \left[ \pi_{i}(-) \right]_{i \in J} = 1_{\prod_{i} \text{Hom} \left( (A_{i} \times B), X \right)} \left[ \pi_{i}(-) \right]_{i \in J} \circ \left< - \circ i_{i} \right>_{i \in J} = 1_{\text{Hom} \left( \coprod_{i}(A_{i} \times B), X \right)} が成り立つことは product の UMP、coproduct の UMP より容易に証明できる。
よって equalizer の UMP より  \theta_{X}^{-1} \circ \theta_{X} = 1_{\text{Hom} \left( \varinjlim_{i} (A_{i} \times B), X \right)} かつ  \theta_{X} \circ \theta_{X}^{-1} = 1_{\varprojlim_{i} \text{Hom} \left( (A_{i} \times B), X \right)} が成り立つので、 \theta_{X} は isomorphism である。

 \square

次に  \theta_{X} \colon \text{Hom} \left( \varinjlim_{j}(A_{j} \times B), X \right) \to \varprojlim_{j} \text{Hom} \left( (A_{j} \times B), X \right) が natural in X であることを証明します。任意の  h \colon X \to Y に対して  \varprojlim_{i} \text{Hom}\left( (A_{i} \times B), h \right) がどのように定義されるかは Proposition 8.7 の証明を参照してください。

 Lemma
\[ \theta \text{ is a natural transformation}. \] Proof.
f:id:hitotakuchan:20160804141626p:plain
任意の  h \colon X \to Y と任意の  f \colon \varinjlim_{i} (A_{i} \times B) \to X に対して、
\[\begin{align*}
\left( \pi_{i} \circ e'_{Y} \circ \varprojlim_{i} \text{Hom} \left((A_{i} \times B), h \right) \circ \theta_{X} \right)(f) &= \left( \pi_{i} \circ \left< \text{Hom}\left( (A_{i} \times B), h \right) \circ \pi_{i} \right>_{i \in J} \circ e'_{X} \circ \theta_{X} \right)(f) \\
&= \left( \text{Hom} \left( (A_{i} \times B), h \right) \circ \pi_{i} \circ \left< - \circ i_{i} \right>_{i \in J} \circ e^{\ast} \right)(f) \\
&= h \circ f \circ e \circ i_{i}
\end{align*}\]
一方で
\[\begin{align*}
(\pi_{i} \circ e'_{Y} \circ \theta_{Y} \circ h_{\ast})(f) &= \left( \pi_{i} \circ \left< - \circ i_{i} \right>_{i \in J} \circ e^{\ast} \circ h_{\ast} \right) (f) \\
&= h \circ f \circ e \circ i_{i}
\end{align*}\]
が成り立つ。よって product の UMP と  e'_{Y} が monic であることより  \theta は natural transformation となる。

 \square

 \varprojlim_{j} \text{Hom} \left( (A_{i} \times B), X \right) \cong \varprojlim_{j} \text{Hom} (A_{i}, X^{B})

任意の  i \in J に対して  \text{Hom} \left( (A_{i} \times B), X \right) \cong \text{Hom}(A_{i}, X^{B}) は exponential の UMP より成り立ちます。このとき、 \varprojlim_{j} \text{Hom} \left( (A_{i} \times B), X \right) \cong \varprojlim_{j} \text{Hom} (A_{i}, X^{B}) が成り立つことは自明でしょうか?
証明は上の証明とほとんど同じなので概略だけ示しておきます。

 Lemma
\[ \varprojlim_{j} \text{Hom} \left( (A_{i} \times B), X \right) \cong \varprojlim_{j} \text{Hom} (A_{i}, X^{B}) \] Proof.
f:id:hitotakuchan:20160805111721p:plain
上の証明と同様に diagram を可換とするような  \theta_{X} \theta_{X}^{-1} が equalizer の UMP よりただ一つ存在する。
 \left< \widetilde{\pi_{i}(-)} \right>_{i \in J} \left< \overline{\pi_{i}(-)} \right>_{i \in J} は明らかに逆射となるので equalizer の UMP により  \theta_{X} は isomorphism である。

 \square

次に  \theta が natural transformation となることを証明します。任意の  h \colon X \to Y に対して  h^{B} \colon X^{B} \to Y^{B} がどのように定義されるのか Proposition 6.7 の証明をみて再確認してください。

 Lemma
\[ \theta \text{ is a natural transformation}. \] Proof.
f:id:hitotakuchan:20160805114221p:plain
任意の  f \in \varprojlim_{i} \text{Hom} \left( (A_{i} \times B), X \right) に対して、
\[\begin{align*}
\left( \pi_{i} \circ e'_{Y} \circ \varprojlim_{i} \text{Hom} (A_{i}, h^{B}) \circ \theta_{X} \right)(f) &= \left( \pi_{i} \circ \left< \text{Hom}(A_{i}, h^{B}) \circ \pi_{i}(-) \right>_{i \in J} \circ e'_{X} \circ \theta_{X} \right)(f) \\
&= \left( \text{Hom}(A_{i}, h^{B}) \circ \pi_{i} \circ \left< \widetilde{\pi_{i}(-)} \right>_{i \in J} \circ e_{X} \right)(f) \\
&= h^{B} \circ \widetilde{\pi_{i} \left( e_{X}(f) \right)}
\end{align*}\]
が成り立つ。また、
\[\begin{align*}
\left( \pi_{i} \circ e'_{Y} \circ \theta_{Y} \circ \varprojlim_{i} \text{Hom} \left( (A_{i} \times B), h \right) \right)(f) &= \left( \pi_{i} \circ \left< \widetilde{ \pi_{i}(-) } \right>_{i \in J} \circ e_{Y} \circ \varprojlim_{i} \text{Hom} \left( (A_{i} \times B), h \right) \right)(f) \\
&= \left( \widetilde{ \pi_{i}(-) } \circ \left< \text{Hom} \left( (A_{i} \times B), h \right) \circ \pi_{i}(-) \right>_{i \in J} \circ e_{X} \right)(f) \\
&= \widetilde{h \circ \pi_{i} \left( e_{X}(f) \right)}
\end{align*}\]
が成り立つ。一方
\[\begin{align*}
eval_{Y} \circ \left( h^{B} \circ \widetilde{\pi_{i} \left( e_{X}(f) \right)} \times 1_{B} \right) &= eval_{Y} \circ ( h^{B} \times 1_{B}) \circ \left( \widetilde{ \pi_{i} \left( e_{X}(f) \right)} \times 1_{B} \right) \\
&= h \circ eval_{X} \circ \left( \widetilde{ \pi_{i} \left( e_{X}(f) \right)} \times 1_{B} \right) \\
&= h \circ \pi_{i} \left( e_{X}(f) \right)
\end{align*}\]
が成り立つので、exponential の UMP と product の UMP より  \varprojlim_{i} \text{Hom} (A_{i}, h^{B}) \circ \theta_{X} = \theta_{Y} \circ \varprojlim_{i} \text{Hom} \left( (A_{i} \times B), h \right) が成り立つ。

 \square


上の証明でわかるように natural transformation になることの証明が非常に面倒です。より簡単な証明はないのでしょうか?
今考えている圏が  {\bf{Sets}} であることを利用すると、もっと直接的に  \varinjlim_{j}(A_{j} \times B) \cong (\varinjlim_{j} A_{j}) \times B を示すことができます。

 Lemma
\[ \varinjlim_{j}(A_{j} \times B) \cong (\varinjlim_{j} A_{j}) \times B \] Proof.
ここでは  \coprod_{i} (A_{i} \times B) の要素を  \left( i, (a_{i}, b) \right) と表します。 u \colon \coprod_{i} (A_{i} \times B) \to \left( \coprod_{i} A_{i} \right) \times B u\left( \left( i, (a_{i}, b) \right) \right) = \left( (i, a_{i}), b \right) で定義する。すると  u が isomorphism となることは明らかである。このとき以下の diagram を考える。
f:id:hitotakuchan:20160808100525p:plain
任意の  \left( \alpha, (a_{i}, b) \right) \in \coprod_{\alpha \colon i \to j} (A_{i} \times B) に対して  (e' \circ u \circ \phi) \left( \alpha, (a_{i}, b) \right) = (e' \circ \phi') \left( (\alpha, a_{i}), b \right) = (e' \circ \psi') \left( (\alpha, a_{i}), b \right) = (e' \circ u \circ \psi) \left( \alpha, (a_{i}, b) \right) が成り立つので coequalizer の UMP より diagram を可換とする  \theta がただ一つ存在する。同様に  \theta^{-1} がただ一つ存在して、 u が isomorphism であるから coequalizer の UMP より  \theta は isomorphism となる。

 \square

Theorem 8.14

証明するべきことは  y(A \times B) \cong yA \times yB y(A^{B}) \cong yA^{yB} です。

 Lemma
\[ y(A \times B) \cong yA \times yB \] Proof.
natural isomorphism  \theta \colon y(A \times B) \to yA \times yB を構成すればよい。任意の  C \in {\bf{C}} に対して  \theta_{C} \colon \text{Hom}(C, A \times B) \to \text{Hom}(C,A) \times \text{Hom}(C, B) を任意の  h \colon C \to A \times B に対して  \theta_{C}(h) = (\pi_{A} \circ h, \pi_{B} \circ h) で定義する。すると product の UMP より  \theta_{C} は isomorphism となる。
次にこの  \theta C に関して natural であることを示す。
f:id:hitotakuchan:20160809104348p:plain
任意の  f \colon C' \to C と任意の  h \colon C \to A \times B に対して、 \left( (f^{\ast} \times f^{\ast}) \circ \theta_{C} \right)(h) = (\pi_{A} \circ h \circ f, \pi_{B} \circ h \circ f) = (\theta_{C'} \circ f^{\ast})(h) が成り立つ。

 \square

 Lemma
\[ y(A^{B}) \cong yA^{yB} \] Proof.
任意の  C \in {\bf{C}} に対して
\[\begin{align*}
y(A^{B})(C) = \text{Hom}(C, A^{B}) &\cong \text{Hom}(C \times B, A) \\
&= yA(C \times B) \\
&\cong \text{Hom} \left( y(C \times B), yA \right) \\
&\cong \text{Hom} ( yC \times yB, yA ) = yA^{yB}(C)
\end{align*}\]
が成り立つので、この isomorphism を  \theta_{C} とする。このとき  \theta C に関して natural であることを示せばよい。
その証明は今までの証明と同様なので省略する。

 \square

Theorem 8.14 は contravariant 版の米田の埋め込みに対しての定理ですが、covariant 版の米田の埋め込みに関してはどのようなことが成り立つでしょうか?考えて、証明してみてください。

8.8 Topoi

Proposition 8.18

書籍で  u_{C} の定義が与えられていますが、この表記はわかりにくいです。より正確には、 \theta \colon U \rightarrowtail E とすると任意の  e \in E(C) に対して  u_{C}(e) = \left\{ f \colon D \to C \ \middle|\ \exists y \in U(D),\ E(f)(e) = \theta_{D}(y) \right\} と定義されます。
このとき、 u_{C}(e) が sieve となること、つまり precomposition に対して閉じていることを確認する必要があります。さらに pullback condition に関しても証明する必要があります。

 Lemma
\[ u_{C}(e) \text{ is a sieve}. \] Proof.
任意の  g \colon F \to D と任意の  f \in u_{C}(e) に対して、 \exists y' \in U(F) が存在して  E(f \circ g)(e) = \theta_{F}(y') となることを示せばよい。
 f \in u_{C}(e) より、 \exists y \in U(D) が存在して  E(f)(e) = \theta_{D}(y) が成り立つ。 一方で  \theta が natural transformation であることより  E(g) \circ \theta_{D} = \theta_{F} \circ U(g) が成り立つことに注意すると、 E(f \circ g)(e) = \left( E(g) \circ E(f) \right)(e) = \left( E(g) \circ \theta_{D} \right)(y) = \left( \theta_{F} \circ U(g) \right)(y) = \theta_{F} \left( U(g)(y) \right) が成り立つ。
よって  y' = U(g)(y) とすれば、 f \circ g \in u_{C}(e) となるので  u_{C}(e) は sieve である。

 \square

 Lemma
\[ t \colon 1 \to \Omega \text{ is a subobject classifier}. \] Proof.
任意の  (X, \phi, \psi) u \circ \phi = t \circ \psi を満たすとする。このとき natural transformation  \exists \alpha \colon X \to U がただ一つ存在して  \phi = \theta \circ \alpha を満たすことを示せばよい。
任意の  C \in {\bf{C}} と任意の  x \in X(C) に対して  t_{C} が total sieve であることより、 1_{C} \colon C \to C \in u_{C} \left( \phi(x) \right) が成り立つ。言い換えると  \exists y \in U(C) が存在して  E(1_{C}) \left( \phi(x) \right) = \phi(x) = \theta_{C}(y) が成り立つ。そこで  \alpha_{C}(x) = y と定義する。このとき  \phi_{C}(x) = (\theta_{C} \circ \alpha_{C})(x) が成り立つ。

次に、任意の  f \colon C' \to C に対して
\[\begin{align*}
\theta_{C'} \circ U(f) \circ \alpha_{C} &= E(f) \circ \theta_{C} \circ \alpha_{C} \\
&= E(f) \circ \phi_{C} \\
&= \phi_{C'} \circ X(f) \\
&= \theta_{C'} \circ \alpha_{C'} \circ X(f)
\end{align*}\]
が成り立つ。 \theta_{C'} は monic であるから、 U(f) \circ \alpha_{C} = \alpha_{C'} \circ X(f) が成り立つ。よって  \alpha は natural transformation である。

最後に  \beta \colon X \to U を diagram を可換とするような natural transformation であるとする。
すると任意の  x \in X(C) に対して  \theta_{C} \left( \beta_{C}(x) \right) = \phi_{C}(x) = \theta_{C} \left( \alpha_{C}(x) \right) が成り立つが、 \theta_{C} は monic であるから、 \beta_{C}(x) = \alpha_{C}(x) となる。よって  \beta = \alpha となる。

 \square

参考書籍

Category Theory (Oxford Logic Guides)

Category Theory (Oxford Logic Guides)

圏論 原著第2版

圏論 原著第2版