# 米田の補題と表現可能関手：対象を「そこへの射の全体」で知る > 前層の圏と表現可能関手を定義し、米田の補題とその自然性、米田埋め込みの充満忠実性、表現と普遍元・普遍射の対応を証明する。パラメータ付きの表現可能性から関手を組み立て、Cayley の定理とテンソル積をその例として読む。 > https://rikai.mugen-giken.com/mathematics/category-homological-algebra/yoneda-lemma ## 0. この記事の要点 抽象的な数学の対象は、集合の元のように中身を一つずつ取り出せないことがよくあります。この記事の話は、そのような対象でも、そこへ入ってくる写像（矢印）のふるまいをすべて集めれば、対象そのものを知ることができる、というものです。読み終えると、商群やテンソル積のように「普遍性で定義された対象」がなぜ同型を除いて一意なのかを、一度の議論で説明できるようになります。 - [局所的に小さい圏](/mathematics/category-homological-algebra/categories-functors#def-small-category) $\mathcal{C}$ の対象 $X$ は、前層（集合に値をとる反変関手のこと）$h_X = \operatorname{Hom}_{\mathcal{C}}(-, X)$ を定めます。**米田の補題**は、任意の前層 $F$ について[自然変換](/mathematics/category-homological-algebra/categories-functors#def-natural-transformation) $h_X \Rightarrow F$ が $F(X)$ の元と 1 対 1 に対応し、その対応が $X$ と $F$ の両方について自然であることを主張します。 - その系として、$X \mapsto h_X$ は**充満忠実**（射の集合の写像がすべて全単射になること）な関手（米田埋め込み）です。したがって $h_X \cong h_Y$ なら $X \cong Y$ で、その同型は前層の同型からただ一つに決まります（**米田の原理**）。対象は「そこへ入ってくる射の全体」で決まる、ということです。 - 前層 $F$ が $h_X$ と同型なとき**表現可能**といいます。表現を与えることは、**普遍元** $\xi \in F(X)$（$F$ のどの元も、ただ一つの射で $\xi$ から引き出せるような元）を与えることと同じです。商群・局所化・テンソル積など「普遍性で定義される対象」は、どれもある関手の表現対象で、一意性は米田の原理から一度に出ます。 - 関手 $G$ への**普遍射**は[コンマ圏](/mathematics/category-homological-algebra/categories-functors#def-comma-category)の[始対象](/mathematics/category-homological-algebra/categories-functors#def-initial-terminal)と同じものです。 - **パラメータ付きの表現可能性**：二変数の関手 $F(X, D)$ が各 $D$ で $X$ について表現可能なら、表現対象 $R(D)$ は $D$ について自動的に関手になり、同型は二変数について自然になります。次の章以降で極限・随伴を組み立てる道具です。 ## 1. 動機 群 $G$ の元 $g$ は、$\mathbb{Z}$ からの準同型 $n \mapsto g^{n}$ と同じものです。集合 $X$ の部分集合は、$X$ から 2 元集合 $\{0, 1\}$ への写像と同じものです。$A$ 加群 $M, N$ の双線形写像 $M \times N \to P$ は、テンソル積からの線形写像 $M \otimes N \to P$ と同じものです。どれも「ある種類の構造」が「ある固定した対象からの（または対象への）射」として表されている例です。 この現象を一般の圏で考えたのが米田信夫で、1954 年ごろ Mac Lane との会話の中で述べた補題が米田の補題と呼ばれています。主張は短く、証明もほぼ一行ですが、帰結は広い範囲に及びます。 - 「普遍性で定義した対象は一意な同型を除いて一意」という議論を、商群・[局所化](/mathematics/commutative-algebra/localization-and-spectrum#def-localization)・テンソル積ごとに繰り返す必要がなくなります。 - 圏 $\mathcal{C}$ を前層の圏 $[\mathcal{C}^{\mathrm{op}}, \mathsf{Set}]$ に埋め込めます。前層の圏は集合の圏に似た良い性質（極限・余極限をもつ）をもつので、$\mathcal{C}$ に無い構成を前層の圏で行い、その結果が $\mathcal{C}$ の対象で表されるか（表現可能か）を問う、という考え方ができます。代数幾何学で「[スキーム](/mathematics/algebraic-geometry-1/affine-schemes-and-schemes#def-scheme)を関手として見る」のはこの考え方です。 この記事では、前の章 [圏・関手・自然変換](/mathematics/category-homological-algebra/categories-functors) の記号と、そこで固定した宇宙 $\mathbb{U}$（）についての「小さい」を使います。 ## 2. 前層と表現可能関手 $\mathcal{C}$ を局所的に小さい圏とする。関手 $F : \mathcal{C}^{\mathrm{op}} \to \mathsf{Set}$ を $\mathcal{C}$ 上の**前層**という。前層を対象、自然変換を射とする圏 $[\mathcal{C}^{\mathrm{op}}, \mathsf{Set}]$ を $\mathrm{PSh}(\mathcal{C})$ と書く。対象 $X \in \mathcal{C}$ について前層 $h_X = \operatorname{Hom}_{\mathcal{C}}(-, X)$ と関手 $h^{X} = \operatorname{Hom}_{\mathcal{C}}(X, -) : \mathcal{C} \to \mathsf{Set}$ を考え、射 $f : X \to Y$ に自然変換 $h_f : h_X \Rightarrow h_Y$、$(h_f)_W(u) = f \circ u$ を対応させる。 $h_X$ と $h^{X}$ が関手であることは で、$h_f$ の自然性は結合法則 $f \circ (u \circ v) = (f \circ u) \circ v$ そのものです。$h_{gf} = h_g \circ h_f$ は $(g \circ f) \circ u = g \circ (f \circ u)$ から、$h_{\mathrm{id}} = \mathrm{id}$ は単位法則から従うので、$X \mapsto h_X$ は関手 $\mathbf{y} : \mathcal{C} \to \mathrm{PSh}(\mathcal{C})$ です。$\mathcal{C}$ が小さいとき $\mathrm{PSh}(\mathcal{C})$ は局所的に小さい圏です（）。$\mathcal{C}$ が大きいときも、$\mathrm{PSh}(\mathcal{C})$ は $\mathbb{U}$ を含む大きい宇宙の中で圏として扱えます。 前層の名前は[位相空間](/mathematics/topology/topological-spaces#def-topology) $T$ の開集合の順序集合 $\mathcal{O}(T)$ から来ています。$\mathcal{O}(T)$ を圏と見ると（）、その上の前層は「開集合 $U$ ごとの集合 $F(U)$ と、$V \subseteq U$ に対する制限写像 $F(U) \to F(V)$」で、たとえば $F(U)$ を $U$ 上の連続関数全体とした例が典型です。 (a) 群 $G$ を 1 対象の圏 $\mathbf{B}G$ と見ると、$\mathbf{B}G$ 上の前層は集合 $F(\ast)$ と、各 $g$ に対する写像 $F(g)$ で $F(gh) = F(h)F(g)$、$F(e) = \mathrm{id}$ を満たすもの、すなわち**右 $G$ 集合**です（$x \cdot g = F(g)(x)$ と書けば $(x \cdot g) \cdot h = x \cdot (gh)$）。自然変換は $G$ 同変写像です。表現可能な前層 $h_\ast$ は、$G$ に右から掛け算で作用させた右 $G$ 集合です。 (b) 圏 $[1] = \{0 \to 1\}$ 上の前層は、集合 $F(1)$、$F(0)$ と写像 $F(1) \to F(0)$ の組です。$h_0$ は $\varnothing \to \{\ast\}$、$h_1$ は $\{\ast\} \to \{\ast\}$ に当たります。 (c) 2 対象 $V, E$ と 2 本の射 $s, t : V \to E$ だけをもつ圏上の前層は、「辺の集合 $F(E)$、頂点の集合 $F(V)$、始点・終点の写像 $F(s), F(t) : F(E) \to F(V)$」で、有向グラフ（多重辺・ループを許すもの）そのものです。前層の圏は、グラフとグラフ準同型の圏になります。 前層 $F$ が**表現可能**であるとは、ある対象 $X$ と自然同型 $\alpha : h_X \Rightarrow F$ が存在することをいう。組 $(X, \alpha)$ を $F$ の**表現**、$X$ を**表現対象**という。関手 $G : \mathcal{C} \to \mathsf{Set}$ が $h^{X}$ と自然同型なときも表現可能という（$\mathcal{C}^{\mathrm{op}}$ 上の前層として表現可能であることと同じ）。 前層 $F$ の**部分関手** $G \subseteq F$ とは、各 $X$ で $G(X) \subseteq F(X)$ であり、任意の $f : Y \to X$ について $F(f)$ が $G(X)$ を $G(Y)$ へ写すものをいう（$G$ は $F(f)$ の制限によって前層になる）。$h_X$ の部分関手を $X$ 上の**篩**（ふるい）という。 $X$ 上の篩 $S$ は、射の集合 $\bigcup_W S(W)$（行き先が $X$ の射の集まり）で、「$u \in S$ なら任意の $v$ について $u \circ v \in S$」を満たすものと同じです。最大の篩は $h_X$ 自身です。$\mathcal{O}(T)$ の場合、$U$ 上の篩は「$U$ の開部分集合の族で、部分集合をとる操作で閉じたもの」です。篩は、層・Grothendieck 位相を定義するときの「被覆」の言葉になります。この記事の後半では篩を使わないので、初めて読むときは読み飛ばしても構いません。 ## 3. 米田の補題 次の定理は、$h_X$ から $F$ への自然変換が、見かけよりずっと少ない情報で決まると言っています。$h_X$ のどの元も $\mathrm{id}_X$ から作れるので、自然変換は $\mathrm{id}_X$ をどこへ送るかだけで決まります。定理の最後の式は、この対応が $X$ や $F$ を取り替えても崩れないこと（自然性）を式に書いたもので、証明では $\mathrm{id}_X$ の行き先に帰着して確かめます。 $\mathcal{C}$ を局所的に小さい圏、$F$ を $\mathcal{C}$ 上の前層、$X \in \mathcal{C}$ とする。写像 $$ \theta_{X, F} : \operatorname{Nat}(h_X, F) \to F(X), \qquad \alpha \mapsto \alpha_X(\mathrm{id}_X) $$ は全単射で、逆写像は $\xi \in F(X)$ に自然変換 $\alpha^{\xi}$、$\alpha^{\xi}_W(u) = F(u)(\xi)$（$u : W \to X$）を対応させる。さらに $\theta$ は $X$ と $F$ の両方について自然である。すなわち、射 $f : Y \to X$ と自然変換 $\tau : F \Rightarrow G$ について $$ \theta_{Y, G}(\tau \circ \alpha \circ h_f) = G(f)\bigl(\tau_X(\theta_{X, F}(\alpha))\bigr) \qquad (\alpha \in \operatorname{Nat}(h_X, F)). $$ **$\alpha^{\xi}$ は自然変換.** $v : W' \to W$ について、$\alpha^{\xi}_{W'}(h_X(v)(u)) = F(u \circ v)(\xi) = F(v)(F(u)(\xi)) = F(v)(\alpha^{\xi}_W(u))$（$F$ は反変なので $F(u \circ v) = F(v) \circ F(u)$）。 **互いに逆.** $\theta(\alpha^{\xi}) = F(\mathrm{id}_X)(\xi) = \xi$。逆に $\alpha \in \operatorname{Nat}(h_X, F)$ と $u : W \to X$ について、自然性を射 $u$ と元 $\mathrm{id}_X \in h_X(X)$ に適用すると $$ \alpha_W(u) = \alpha_W(h_X(u)(\mathrm{id}_X)) = F(u)(\alpha_X(\mathrm{id}_X)) = \alpha^{\theta(\alpha)}_W(u). $$ よって $\alpha = \alpha^{\theta(\alpha)}$。 **自然性.** 左辺は $(\tau \circ \alpha \circ h_f)_Y(\mathrm{id}_Y) = \tau_Y(\alpha_Y(f))$ である。上の計算から $\alpha_Y(f) = F(f)(\alpha_X(\mathrm{id}_X))$ で、$\tau$ の自然性から $\tau_Y \circ F(f) = G(f) \circ \tau_X$ なので、左辺は $G(f)(\tau_X(\alpha_X(\mathrm{id}_X)))$ に等しい。 証明の要点は二行目にあります。自然変換 $\alpha : h_X \Rightarrow F$ は、恒等射 $\mathrm{id}_X$ の行き先だけで決まります。$h_X$ のどの元 $u$ も $\mathrm{id}_X$ を $h_X(u)$ で引き戻したものだからです。 (a) [半順序集合](/mathematics/combinatorics/posets-mobius#def-poset) $P$ を圏と見ると、$h_x(y)$ は $y \le x$ なら 1 点、そうでなければ空です。自然変換 $h_x \Rightarrow h_{x'}$ は「$y \le x$ なら $y \le x'$」という含意と同じもので、 は、その存在が $h_{x'}(x) \ne \varnothing$、すなわち $x \le x'$ と同値であることを言っています。米田埋め込みは「$x$ を下集合 $\{y \mid y \le x\}$ で表す」埋め込み $P \to \mathcal{P}(P)$ です。 (b) 群 $G$ の圏 $\mathbf{B}G$ では、 の (a) により前層は右 $G$ 集合 $F$ で、 は「$G$ 同変写像 $G \to F$ は単位元 $e$ の行き先 $x \in F$ で決まり、$g \mapsto x \cdot g$ で与えられる」という、軌道写像についてのおなじみの事実になります。 (c) $\mathsf{Set}$ で 1 点集合 $1$ をとると、共変な $h^{1} = \operatorname{Hom}(1, -)$ は「元の集合」を返す関手で（$\operatorname{Hom}(1, X) \cong X$）、恒等関手と自然同型です（反変な $h_1 = \operatorname{Hom}(-, 1)$ のほうは、どの $X$ にも 1 点集合を返します）。下の段落で述べる共変版 $\operatorname{Nat}(h^{1}, G) \cong G(1)$ は、恒等関手から関手 $G : \mathsf{Set} \to \mathsf{Set}$ への自然変換が、1 点集合での成分が 1 点をどこへ送るかで決まることを言っています。 最後の等式は、$\theta$ が二つの関手 $\mathcal{C}^{\mathrm{op}} \times \mathrm{PSh}(\mathcal{C}) \to \mathsf{Set}$、$(X, F) \mapsto \operatorname{Nat}(h_X, F)$ と $(X, F) \mapsto F(X)$（評価関手）の間の自然同型であることを言っています。 を $\mathcal{C}^{\mathrm{op}}$ に適用すると、関手 $G : \mathcal{C} \to \mathsf{Set}$ について $\operatorname{Nat}(h^{X}, G) \cong G(X)$（$\alpha \mapsto \alpha_X(\mathrm{id}_X)$）が得られます。 関手 $\mathbf{y} : \mathcal{C} \to \mathrm{PSh}(\mathcal{C})$、$X \mapsto h_X$ は充満忠実であり、対象の上で単射である。 を $F = h_Y$ に適用すると、$\theta : \operatorname{Nat}(h_X, h_Y) \to h_Y(X) = \operatorname{Hom}(X, Y)$ は全単射である。逆写像は $f \mapsto \alpha^{f}$、$\alpha^{f}_W(u) = h_Y(u)(f) = f \circ u$ で、これは $h_f$ そのものである。よって $f \mapsto h_f$ は全単射。$h_X = h_Y$ なら $\mathrm{id}_X \in h_X(X) = h_Y(X) = \operatorname{Hom}(X, Y)$ で、Hom 集合が互いに交わらないこと（）から $X = Y$。 $\alpha : h_X \Rightarrow h_Y$ が自然同型なら、$h_f = \alpha$ となる射 $f : X \to Y$ がただ一つあり、$f$ は同型である。とくに $h_X \cong h_Y$ なら $X \cong Y$ である。双対的に、$h^{X} \cong h^{Y}$ なら $X \cong Y$ である。 から $\alpha = h_f$ となる $f$ がただ一つある。$\mathbf{y}$ は充満忠実なので同型を反映し（）、$h_f$ が同型だから $f$ も同型である。双対は $\mathcal{C}^{\mathrm{op}}$ に適用する。 米田の原理は、「$X$ と $Y$ が同型であることを示すには、任意の $W$ について $\operatorname{Hom}(W, X)$ と $\operatorname{Hom}(W, Y)$ の間に $W$ について自然な全単射を作ればよい」という証明法を与えます。全単射だけでなく**自然性**が要ることに注意してください。 射 $u : W \to X$ を「$X$ の $W$ に値をとる元」と呼ぶことがあります。$W$ が 1 点集合なら $\mathsf{Set}$ のふつうの元、$W = \mathbb{Z}$ なら $\mathsf{Grp}$ の元（）です。米田埋め込みが充満忠実であることは、「射 $X \to Y$ は、あらゆる $W$ に値をとる元を、$W$ の取り替えと両立するように送る規則と同じものだ」と言い換えられます。集合の写像が元の行き先で決まるのと同じ考え方を、元をもたない一般の圏の対象に持ち込んだのが米田の補題です。ただし $\mathsf{Grp}$ では $W = \mathbb{Z}$ という一つの「試験対象」で足りるのに対し、一般の圏では $W$ を全部動かす必要があります。 次の命題は、米田の補題を 1 対象の圏 $\mathbf{B}G$ に使うと Cayley の定理（群は置換群の部分群とみなせる）が出ることを示します。1 対象の圏では射が群の元に当たり、前層は群が右から作用する集合になります。 群 $G$ について、写像 $\lambda : G \to \operatorname{Sym}(G)$、$\lambda(g)(x) = gx$ は単射な群準同型であり、その像は右からの掛け算 $x \mapsto xk$（$k \in G$）とすべて可換な置換の全体に等しい。とくに $G$ は $\operatorname{Sym}(G)$ の部分群と同型である。 $G$ を対象 $\ast$ ただ一つの圏 $\mathbf{B}G$ と見る（$\operatorname{Hom}(\ast, \ast) = G$、合成は群の積、恒等射は単位元。結合法則と単位法則は群の公理 そのもので、 の条件を満たす）。前層 $h_\ast$ は集合 $G$ に、射 $k$ を写像 $h_\ast(k) : x \mapsto xk$ として作用させるものである。自然変換 $h_\ast \Rightarrow h_\ast$ は、成分 $\sigma : G \to G$ ただ一つで、すべての $k$ について $\sigma(xk) = \sigma(x)k$ を満たすもの、すなわち右からの掛け算と可換な写像である。 から $k \mapsto h_k$ は $G$ から $\operatorname{Nat}(h_\ast, h_\ast)$ への全単射で、$h_k(x) = kx = \lambda(k)(x)$。$\mathbf{y}$ は関手なので $\lambda(gk) = h_{gk} = h_g \circ h_k = \lambda(g)\lambda(k)$。$h_\ast$ は前層の圏の対象で、その自己同型は可逆な自然変換なので、 から成分が全単射なものである。$\lambda(g)$ は逆 $\lambda(g^{-1})$ をもつので $\operatorname{Sym}(G)$ に入り、$\lambda$ は単射準同型で、その像は右掛け算と可換な写像全体（それらは全単射 $\lambda(g)$ に限られる）に等しい。 左からの掛け算 $g \cdot x = gx$ は $G$ の $G$ 自身への作用（）で、Cayley の定理はふつうこの作用が忠実であることとして示されます。米田の補題の言葉では、「$G$ は $G$ を右 $G$ 集合と見たときの自己同型群である」と、像まで特定した形で得られます。 ## 4. 普遍元と普遍射 ### 4.1. 表現は普遍元である 前層 $F$ について、組 $(X, \xi)$（$X \in \mathcal{C}$、$\xi \in F(X)$）が $F$ の**普遍元**であるとは、任意の $Y$ と $\eta \in F(Y)$ に対し、$F(f)(\xi) = \eta$ となる射 $f : Y \to X$ がただ一つ存在することをいう。関手 $G : \mathcal{C} \to \mathsf{Set}$ の普遍元 $(X, \xi \in G(X))$ も同様に（任意の $\eta \in G(Y)$ に $G(f)(\xi) = \eta$ となる $f : X \to Y$ がただ一つ）定める。 前層 $F$ と $\xi \in F(X)$ について、$(X, \xi)$ が普遍元であることと、 の自然変換 $\alpha^{\xi} : h_X \Rightarrow F$ が自然同型であることは同値である。したがって $(X, \alpha) \mapsto (X, \alpha_X(\mathrm{id}_X))$ は、$F$ の表現と $F$ の普遍元の間の全単射である。関手 $\mathcal{C} \to \mathsf{Set}$ についても同様である。 $\alpha^{\xi}_Y(f) = F(f)(\xi)$ なので、$(X, \xi)$ が普遍元であることは、すべての $Y$ で $\alpha^{\xi}_Y : \operatorname{Hom}(Y, X) \to F(Y)$ が全単射であることと同じである。 により、これは $\alpha^{\xi}$ が自然同型であることと同値である。 により $\operatorname{Nat}(h_X, F)$ と $F(X)$ は $\alpha \mapsto \alpha_X(\mathrm{id}_X)$、$\xi \mapsto \alpha^{\xi}$ で 1 対 1 に対応するので、自然同型と普遍元が対応する。関手 $\mathcal{C} \to \mathsf{Set}$ の場合は $\mathcal{C}^{\mathrm{op}}$ 上の前層として同じ議論をする。 $(X, \xi)$ と $(X', \xi')$ がともに前層 $F$ の普遍元なら、$F(f)(\xi) = \xi'$ を満たす射 $f : X' \to X$ がただ一つ存在し、$f$ は同型である。関手 $\mathcal{C} \to \mathsf{Set}$ の普遍元についても同様である（射の向きは $X \to X'$）。 $f$ の存在と一意性は $(X, \xi)$ の普遍性を $\eta = \xi'$ に使ったもの。同様に $(X', \xi')$ の普遍性から $F(g)(\xi') = \xi$ となる $g : X \to X'$ がある。$F(f \circ g)(\xi) = F(g)(F(f)(\xi)) = F(g)(\xi') = \xi = F(\mathrm{id}_X)(\xi)$ なので、$(X, \xi)$ の普遍性の一意性の部分から $f \circ g = \mathrm{id}_X$。同様に $g \circ f = \mathrm{id}_{X'}$。関手 $\mathcal{C} \to \mathsf{Set}$ の場合は $\mathcal{C}^{\mathrm{op}}$ に適用する。 この系が、「普遍性をもつ対象は一意な同型を除いて一意」という定型の議論の一般形です。商群でもテンソル積でも、以後この系を引用すれば済みます。 1. 忘却関手 $U : \mathsf{Grp} \to \mathsf{Set}$ は $h^{\mathbb{Z}}$ で表現され、普遍元は $1 \in \mathbb{Z}$ である。 2. 可換環 $A$ について、忘却関手 $U : \mathsf{Mod}_A \to \mathsf{Set}$ は $h^{A}$ で表現され、普遍元は $1 \in A$ である。とくに $\mathsf{Ab} \to \mathsf{Set}$ は $h^{\mathbb{Z}}$ で表現される。 3. 逆像による冪集合関手 $\mathcal{P}^{*} : \mathsf{Set}^{\mathrm{op}} \to \mathsf{Set}$ は $h_{\{0, 1\}}$ で表現され、普遍元は $\{1\} \in \mathcal{P}^{*}(\{0, 1\})$ である。 により、それぞれ普遍元であることを示せばよい。 1: 群 $G$ と $g \in G$ について、$\varphi(n) = g^{n}$ は $g^{m+n} = g^{m}g^{n}$ より準同型 $\mathbb{Z} \to G$ で $\varphi(1) = g$。準同型 $\psi$ が $\psi(1) = g$ を満たせば、$\psi(n) = \psi(1)^{n} = g^{n}$（$n \ge 0$ は帰納法、$n < 0$ は $\psi(-n) = \psi(n)^{-1}$ から）なので $\psi = \varphi$。 2: $A$ 加群 $M$ と $m \in M$ について、$a \mapsto am$ は $A$ 線形で $1 \mapsto m$、$A$ 線形な $\psi$ で $\psi(1) = m$ なら $\psi(a) = a\psi(1) = am$。 3: $S \subseteq X$ について、$\varphi^{-1}(\{1\}) = S$ を満たす写像 $\varphi : X \to \{0, 1\}$ は、$S$ の上で $1$、その外で $0$ をとる特性関数ただ一つである。$\mathcal{P}^{*}(\varphi)(\{1\}) = \varphi^{-1}(\{1\})$ なので、これが普遍性である。 ### 4.2. 普遍射とコンマ圏 関手 $G : \mathcal{D} \to \mathcal{C}$ と $Y \in \mathcal{C}$ について、組 $(R, u)$（$R \in \mathcal{D}$、$u : Y \to GR$）が $Y$ から $G$ への**普遍射**であるとは、任意の $D \in \mathcal{D}$ と射 $g : Y \to GD$ に対し、$G(\bar g) \circ u = g$ となる射 $\bar g : R \to D$ がただ一つ存在することをいう。双対的に、組 $(R, c : GR \to Y)$ が $G$ から $Y$ への**普遍射**であるとは、任意の $g : GD \to Y$ に対し $c \circ G(\bar g) = g$ となる $\bar g : D \to R$ がただ一つ存在することをいう。 $\mathcal{C}, \mathcal{D}$ を局所的に小さい圏、$G : \mathcal{D} \to \mathcal{C}$ を関手、$Y \in \mathcal{C}$ とし、$Y$ を 1 対象の圏 $\mathbf{1}$ からの関手と見る。組 $(R, u : Y \to GR)$ について次は同値である。 1. $(R, u)$ は $Y$ から $G$ への普遍射である。 2. $(R, u)$ は関手 $\operatorname{Hom}_{\mathcal{C}}(Y, G(-)) : \mathcal{D} \to \mathsf{Set}$ の普遍元である。 3. $(\ast, R, u)$ はコンマ圏 $(Y \downarrow G)$ の始対象である。 とくに $Y$ から $G$ への普遍射は、存在すれば一意な同型を除いて一意である。双対的に、$G$ から $Y$ への普遍射は $(G \downarrow Y)$ の終対象である。 関手 $\operatorname{Hom}(Y, G(-))$ は $\bar g : R \to D$ を $u \mapsto G(\bar g) \circ u$ に送るので、1 と 2 は定義そのものである。コンマ圏（）$(Y \downarrow G)$ の対象は組 $(\ast, D, g : Y \to GD)$ で、$(\ast, R, u)$ から $(\ast, D, g)$ への射は、$\mathbf{1}$ の射が恒等射しかないので、$G(\bar g) \circ u = g$ を満たす $\bar g : R \to D$ と同じものである。よって 1 と 3 は同値である。一意性は による。双対は $\mathcal{C}^{\mathrm{op}}$、$\mathcal{D}^{\mathrm{op}}$ に適用する。 Rikai の既存の記事で証明した普遍性は、どれも「ある関手の普遍元」と言い直せます。表現対象の一意性は、どの場合も から一度に出ます。 | 構成 | 表現される関手 | 普遍元 | 既出の普遍性 | |---|---|---|---| | 商集合 $X/{\sim}$ | $Y \mapsto \{f : X \to Y \mid a \sim b \Rightarrow f(a) = f(b)\}$（$\mathsf{Set} \to \mathsf{Set}$） | 射影 $\pi$ | | | 商群 $G/N$ | $H \mapsto \{f : G \to H \mid N \subseteq \operatorname{Ker} f\}$（$\mathsf{Grp} \to \mathsf{Set}$） | 標準全射 $\pi$ | | | 局所化 $S^{-1}A$ | $B \mapsto \{f : A \to B \mid f(S) \subseteq B^{\times}\}$（$\mathsf{CRing} \to \mathsf{Set}$） | $a \mapsto a/1$ | | | Kähler 微分 $\Omega_{B/A}$ | $M \mapsto \operatorname{Der}_A(B, M)$（$\mathsf{Mod}_B \to \mathsf{Set}$） | $d$ | | | Grothendieck 群 $G(M)$ | 可換群 $H \mapsto$ モノイド準同型 $M \to H$ 全体 | $\gamma_M$ | の 4 | たとえば商群の行は、$\pi$ が普遍元であること、すなわち「$N \subseteq \operatorname{Ker} f$ なる $f$ はただ一つの $\bar f$ によって $f = \bar f \circ \pi$ と書ける」ことが既出の定理の内容です。Grothendieck 群の行は、忘却関手 $\mathsf{Ab} \to \mathsf{CMon}$（可換モノイドの圏）への $M$ からの普遍射とも読めます（）。 代数幾何学では、可換環 $A$ に集合 $\{(x, y) \in A^{2} \mid x^{2} + y^{2} = 1\}$ を対応させる関手 $\mathsf{CRing} \to \mathsf{Set}$ のように、方程式の「$A$ に値をとる解の集合」を考えます。この関手は環 $\mathbb{Z}[x, y]/(x^{2} + y^{2} - 1)$ で表現され（解 $(a, b)$ は $x \mapsto a$、$y \mapsto b$ で定まる環準同型と同じもの）、米田の原理により、表現する環は関手から同型を除いて決まります。スキームを「環から集合への関手」として扱う見方はここから始まり、表現可能でない関手（たとえばモジュライ問題の関手）がいつ表現可能になるかが中心的な問題になります。代数幾何のテーマで、この見方を本格的に使います。 ## 5. パラメータ付きの表現可能性 表現可能な関手が「もう一つの変数」に依存しているとき、表現対象はその変数について自動的に関手になります。以下の双関手は、二つの変数をもつ関手のことです。 証明の見通しは次のとおりです。$R(d)$ は、普遍元の「ただ一つ」の部分から決めます。$R$ が関手になること（恒等射と合成を保つこと）も、同じ一意性を使って、双関手 $F$ の可換性を一段ずつ当てはめるだけで確かめられます。 $\mathcal{C}, \mathcal{D}$ を局所的に小さい圏、$F : \mathcal{C}^{\mathrm{op}} \times \mathcal{D} \to \mathsf{Set}$ を双関手とし、各 $D \in \mathcal{D}$ について前層 $F(-, D)$ が表現可能であるとする。各 $D$ に普遍元 $(R(D), \xi_D)$（$\xi_D \in F(R(D), D)$）を一つずつ選ぶ。このとき次が成り立つ。 1. 射 $d : D \to D'$ に、$F(R(d), D')(\xi_{D'}) = F(R(D), d)(\xi_D)$ を満たすただ一つの射 $R(d) : R(D) \to R(D')$ を対応させると、$R : \mathcal{D} \to \mathcal{C}$ は関手になる。 2. $\varphi_{X, D} : \operatorname{Hom}_{\mathcal{C}}(X, R(D)) \to F(X, D)$、$u \mapsto F(u, D)(\xi_D)$ は双関手 $\operatorname{Hom}_{\mathcal{C}}(-, R(-))$ から $F$ への自然同型である。 3. 関手 $R' : \mathcal{D} \to \mathcal{C}$ と自然同型 $\operatorname{Hom}_{\mathcal{C}}(-, R'(-)) \cong F$ がほかにあれば、$R \cong R'$ である。 普遍元の選択には選択公理（）を $\operatorname{Ob}\mathcal{D}$ 上で使う。 1: $F(R(D), d)(\xi_D) \in F(R(D), D')$ なので、$(R(D'), \xi_{D'})$ の普遍性から $R(d)$ がただ一つ定まる。$d = \mathrm{id}_D$ なら $R(d) = \mathrm{id}$ が条件を満たすので一意性から $R(\mathrm{id}) = \mathrm{id}$。$d' : D' \to D''$ について、$F$ が双関手であること（ の可換性）を使うと $$ \begin{aligned} F(R(d')R(d), D'')(\xi_{D''}) &= F(R(d), D'')\,F(R(d'), D'')(\xi_{D''}) = F(R(d), D'')\,F(R(D'), d')(\xi_{D'}) \\ &= F(R(D), d')\,F(R(d), D')(\xi_{D'}) = F(R(D), d')\,F(R(D), d)(\xi_D) = F(R(D), d'd)(\xi_D) \end{aligned} $$ なので、一意性から $R(d'd) = R(d')R(d)$。 2: 各 $\varphi_{X, D}$ が全単射であることは普遍元の定義そのもの（）。$X$ についての自然性は の $\alpha^{\xi_D}$ の自然性である。$D$ についての自然性：$d : D \to D'$、$u : X \to R(D)$ について $$ \varphi_{X, D'}(R(d) \circ u) = F(u, D')\,F(R(d), D')(\xi_{D'}) = F(u, D')\,F(R(D), d)(\xi_D) = F(X, d)\,F(u, D)(\xi_D) = F(X, d)(\varphi_{X, D}(u)). $$ 3 つ目の等号は再び $F$ の双関手性である。 3: 自然同型 $\operatorname{Hom}(-, R(-)) \cong F \cong \operatorname{Hom}(-, R'(-))$ を合成すると、各 $D$ で自然同型 $h_{R(D)} \cong h_{R'(D)}$ が得られ、 によりそれは同型 $\rho_D : R(D) \to R'(D)$ によって $h_{\rho_D}$ と書ける。$D$ についての自然性を $X = R(D)$、$u = \mathrm{id}$ で評価すると $\rho_{D'} R(d) = R'(d)\rho_D$ が得られるので、$\rho$ は自然同型 $R \Rightarrow R'$ である。 $\mathcal{C} = \mathsf{Set}$、$\mathcal{D} = \mathsf{Set} \times \mathsf{Set}$ とし、$F(X, (A, B)) = \operatorname{Hom}(X, A) \times \operatorname{Hom}(X, B)$ とおきます。各 $(A, B)$ で $F(-, (A, B))$ は直積集合 $A \times B$ と射影の組 $(p_A, p_B)$ を普遍元として表現されます（写像の組 $(f, g)$ に $x \mapsto (f(x), g(x))$ がただ一つ対応する）。 の 1 の条件は、写像の組 $(a, b) : (A, B) \to (A', B')$ に対して $R(a, b)$ が $p_{A'} \circ R(a, b) = a \circ p_A$、$p_{B'} \circ R(a, b) = b \circ p_B$ を満たすこと、すなわち $R(a, b) = a \times b$ であることを言っています。こうして直積は双関手 $\mathsf{Set} \times \mathsf{Set} \to \mathsf{Set}$ になり、$\operatorname{Hom}(X, A \times B) \cong \operatorname{Hom}(X, A) \times \operatorname{Hom}(X, B)$ は三つの変数について自然になります。次の章では、これを一般の図式の極限に広げます。 この命題は次の二つの章で繰り返し使います。[極限と余極限](/mathematics/category-homological-algebra/limits-colimits) では「各図式の極限」を図式について関手にするために、[随伴関手と随伴関手定理](/mathematics/category-homological-algebra/adjoint-functors) では「各対象への普遍射」から随伴関手を組み立てるために使います。 ## 6. テンソル積を表現として読む 可換環 $A$ 上の加群 $M, N, P$ について、双線形写像 $M \times N \to P$ 全体を $\operatorname{Bil}(M, N; P)$ と書きます。準同型 $\alpha : M' \to M$、$\beta : N' \to N$、$\gamma : P \to P'$ について $b \mapsto \gamma \circ b \circ (\alpha \times \beta)$ は $\operatorname{Bil}(M, N; P) \to \operatorname{Bil}(M', N'; P')$ を与え、これにより $\operatorname{Bil}$ は $(M, N)$ について反変、$P$ について共変な関手です（各変数の写像の合成が可換なことは の条件で、写像の合成の結合法則から従います）。 $A$ を可換環とする。 1. $A$ 加群 $M, N$ について、関手 $\operatorname{Bil}(M, N; -) : \mathsf{Mod}_A \to \mathsf{Set}$ は表現可能で、$(M \otimes_A N, \otimes)$ がその普遍元である。 2. 準同型 $\alpha : M \to M'$、$\beta : N \to N'$ に、$m \otimes n \mapsto \alpha(m) \otimes \beta(n)$ を満たすただ一つの準同型 $\alpha \otimes \beta$ を対応させると、$\otimes : \mathsf{Mod}_A \times \mathsf{Mod}_A \to \mathsf{Mod}_A$ は双関手であり、全単射 $\operatorname{Hom}_A(M \otimes N, P) \cong \operatorname{Bil}(M, N; P)$ は $M, N, P$ について自然である。 1: テンソル積の定義（）の普遍性は、$(M \otimes N, \otimes)$ が $\operatorname{Bil}(M, N; -)$ の普遍元である（）という主張そのもので、存在は による。 2: $\mathcal{C} = \mathsf{Mod}_A^{\mathrm{op}}$、$\mathcal{D} = (\mathsf{Mod}_A \times \mathsf{Mod}_A)^{\mathrm{op}}$ とし、$F : \mathcal{C}^{\mathrm{op}} \times \mathcal{D} \to \mathsf{Set}$ を $F(P, (M, N)) = \operatorname{Bil}(M, N; P)$ とおく。1 により各 $(M, N)$ で $F(-, (M, N))$ は $\mathcal{C}$ 上の前層として表現可能で、普遍元は $(M \otimes N, \otimes)$。 により $R(M, N) = M \otimes N$ は関手 $\mathcal{D} \to \mathcal{C}$、すなわち共変関手 $\mathsf{Mod}_A \times \mathsf{Mod}_A \to \mathsf{Mod}_A$ になり、全単射は自然である。$R(\alpha, \beta)$ は、命題の 1 の条件を書き下すと $R(\alpha, \beta) \circ \otimes = \otimes \circ (\alpha \times \beta)$、すなわち $m \otimes n \mapsto \alpha(m) \otimes \beta(n)$ を満たすただ一つの準同型で、$\alpha \otimes \beta$ に一致する。 有限次元ベクトル空間のテンソル積（、存在は ）も同じ議論で双関手になります。$\alpha \otimes \beta$ が well-defined で $(\alpha'\alpha) \otimes (\beta'\beta) = (\alpha' \otimes \beta')(\alpha \otimes \beta)$ を満たすことを、ここでは純テンソルの計算をせずに得ている点に注目してください。関手性は表現対象の一意性から自動的に出てきます。 ## 7. 演習 圏 $[1] = \{0 \to 1\}$ 上の前層 $F$ を、$F(1) = \{a, b\}$、$F(0) = \{x, y, z\}$、射 $0 \to 1$ が誘導する写像 $F(1) \to F(0)$ を $a \mapsto x$、$b \mapsto x$ で定める。自然変換 $h_0 \Rightarrow F$ と $h_1 \Rightarrow F$ はそれぞれ何個あるか。 により $|\operatorname{Nat}(h_0, F)| = |F(0)| = 3$、$|\operatorname{Nat}(h_1, F)| = |F(1)| = 2$ です。直接確かめると、$h_1(1) = \{\mathrm{id}_1\}$、$h_1(0) = \{0 \to 1\}$ なので、自然変換 $h_1 \Rightarrow F$ は $\mathrm{id}_1$ の行き先 $c \in F(1)$ を決めれば、自然性から $0 \to 1$ の行き先が $c$ の像 $x$ に決まります。$h_0(1) = \varnothing$、$h_0(0) = \{\mathrm{id}_0\}$ なので、自然変換 $h_0 \Rightarrow F$ は $\mathrm{id}_0$ の行き先を $F(0)$ から自由に選ぶだけです。 集合 $X$ に $X$ 上の同値関係全体 $E(X)$ を対応させ、写像 $f : X \to Y$ に「$Y$ 上の同値関係 $\sim$ を $x \sim' x' \iff f(x) \sim f(x')$ で引き戻す」写像 $E(f) : E(Y) \to E(X)$ を対応させる。$E$ は $\mathsf{Set}$ 上の前層であるが、表現可能でないことを示せ。 $\sim'$ が同値関係であることと $E(gf) = E(f)E(g)$ は定義から確かめられます。$E \cong h_R$ とすると、1 点集合 $1$ について $|R| = |\operatorname{Hom}(1, R)| = |E(1)| = 1$ なので $R$ は 1 点集合で、どの $X$ についても $|\operatorname{Hom}(X, R)| = 1$ です。しかし 2 点集合 $2$ には相等関係と全関係の 2 つの同値関係があり、$|E(2)| = 2$ です。これは矛盾です。 正の整数 $n$ について、関手 $T_n : \mathsf{Grp} \to \mathsf{Set}$、$T_n(G) = \{g \in G \mid g^{n} = e\}$（準同型は制限で作用する）が $\mathbb{Z}/n\mathbb{Z}$ で表現されることを示し、普遍元を答えよ。 普遍元は $\bar 1 \in T_n(\mathbb{Z}/n)$ です。$g^{n} = e$ を満たす $g \in G$ について、$\varphi : \mathbb{Z} \to G$、$k \mapsto g^{k}$ は準同型で（ の 1）、$n\mathbb{Z} \subseteq \operatorname{Ker}\varphi$ です。商群の普遍性（）から $\bar\varphi(\bar k) = g^{k}$ となる準同型 $\bar\varphi : \mathbb{Z}/n \to G$ がただ一つあり、$\bar\varphi(\bar 1) = g$ です。$\bar 1$ の行き先を決めた準同型は $\mathbb{Z}/n$ が $\bar 1$ で生成されることから一意です。 により $T_n \cong h^{\mathbb{Z}/n}$ です。 位相空間 $X$ に開集合全体 $\mathcal{O}(X)$ を、連続写像 $f$ に逆像 $U \mapsto f^{-1}(U)$ を対応させる前層 $\mathcal{O} : \mathsf{Top}^{\mathrm{op}} \to \mathsf{Set}$ が表現可能であることを示せ。さらに、$\mathcal{O}$ の自己同型（自然同型 $\mathcal{O} \Rightarrow \mathcal{O}$）は恒等変換だけであることを示せ。 $S = \{0, 1\}$ に開集合系 $\{\varnothing, \{1\}, S\}$ を入れた空間（[Sierpiński 空間](/mathematics/topology/tychonoff-spaces-and-embeddings#def-sierpinski-space)）を考えます。写像 $\varphi : X \to S$ が連続であることは $\varphi^{-1}(\{1\})$ が開集合であることと同値なので、開集合 $U$ に対し、その特性関数が $\varphi^{-1}(\{1\}) = U$ を満たすただ一つの連続写像です。よって $(S, \{1\})$ が $\mathcal{O}$ の普遍元で（）、$\mathcal{O} \cong h_S$ です。 $\mathcal{O}$ の自己同型は $h_S$ の自己同型に対応し、 によりそれは $S$ の自己同相 $f$ による $h_f$ です。$S$ の全単射は恒等写像と $0 \leftrightarrow 1$ の入れ替え $\tau$ だけで、$\tau^{-1}(\{1\}) = \{0\}$ は開集合でないので $\tau$ は連続ではありません。よって $f = \mathrm{id}$ で、自己同型は恒等変換だけです。たとえば「開集合を補集合の内部に送る」操作は、各 $X$ で $\mathcal{O}(X)$ の写像を与えますが、自然な全単射にはなりえないことが分かります。 ## 参考文献 - S. Mac Lane, *Categories for the Working Mathematician*, 2nd ed., Graduate Texts in Mathematics 5, Springer, 1998 — 第 III 章（普遍射・米田の補題）。 - E. Riehl, *Category Theory in Context*, Dover, 2016 — 第 2 章（普遍性・表現可能性・米田の補題）。 - M. Kashiwara, P. Schapira, *Categories and Sheaves*, Grundlehren der mathematischen Wissenschaften 332, Springer, 2006 — 第 1 章（米田の補題と表現可能関手）。 - S. Awodey, *Category Theory*, 2nd ed., Oxford University Press, 2010 — 第 8 章。 - T. Leinster, *Basic Category Theory*, Cambridge Studies in Advanced Mathematics 143, Cambridge University Press, 2014 — 第 4 章（表現可能関手）。