# 極限と余極限：積・等化子・引き戻しからフィルター余極限の完全性まで > 図式の極限・余極限を表現可能関手として定義し、積と等化子からすべての極限が作れること、集合・加群・位相空間の圏の完備性、関手圏の極限が各点で計算できること、集合の圏でフィルター余極限が有限極限と交換することを証明する。 > https://rikai.mugen-giken.com/mathematics/category-homological-algebra/limits-colimits ## 0. この記事の要点 直積集合、積位相、群の直積、核といったものは、一見ばらばらですが、「ほかの対象から入ってくる射を、まとめて一つの射にする」という同じ性質で特徴づけられます。この記事は、その共通の形に「極限」という名前を付け、いつ存在するか、どう計算するか、ほかの操作と順序を入れ替えてよいかを調べます。読み終えると、積と等化子さえ作れれば他の極限はすべて作れること、そして無限個の対象を貼り合わせた「順極限」が完全列を壊さない理由が分かります。 - 図式 $D : J \to \mathcal{C}$ の**極限**は、「$X$ から $D$ への錐全体」という前層の表現対象（[表現可能関手](/mathematics/category-homological-algebra/yoneda-lemma#def-representable)が表す対象のこと）です。したがって極限は一意な同型を除いて一意で、図式について関手的に選べます。積・等化子・引き戻し・終対象・逆極限はすべてその特別な場合で、双対の**余極限**には余積・余等化子・押し出し・順極限が入ります。 - 小さい積と等化子があれば、すべての小さい極限が作れます。これを使うと、$\mathsf{Set}$・$\mathsf{Ab}$・$\mathsf{Mod}_A$・$\mathsf{Top}$ が完備かつ余完備であること、$\mathsf{Grp}$ が完備であることが、それぞれ積と等化子（余積と余等化子）を作るだけで分かります。 - 関手圏 $[\mathcal{K}, \mathcal{C}]$ の極限は各点で計算できます。$\operatorname{Hom}(X, -)$ は極限を保ち、極限どうしは交換します。 - $\mathsf{Set}$ では、**フィルター余極限は有限極限と交換**します。その帰結として、$\mathsf{Mod}_A$ のフィルター余極限は完全列を保ちます。フィルターでない余極限（たとえば 2 個の集合の余積）ではこれが崩れます。 - 射 $f$ が [mono](/mathematics/category-homological-algebra/categories-functors#def-mono-epi)（左から簡約できる射）であることは核対で、余極限が変わらないことは共終性（図式の添字を「十分遠くまで」減らしてよい性質）で判定できます。$\mathsf{Set}$・$\mathsf{Ab}$・$\mathsf{Grp}$ では「余等化子として現れる epi」（正則エピ射）は全射と同じものです。 ## 1. 動機 直積集合 $A \times B$ は「$X$ から $A$ への写像と $B$ への写像の組」を「$X$ から $A \times B$ への写像」一つにまとめる対象です。積位相も、群の直積も、加群の直積も、同じ形の普遍性で特徴づけられます。核 $\operatorname{Ker} f$ は「$f$ と $0$ が一致する部分」で、同じ形の普遍性をもつ対象として等化子があります。$p$ 進整数環 $\mathbb{Z}_p = \varprojlim \mathbb{Z}/p^{n}$ は [完備化と Artin–Rees の補題](/mathematics/commutative-algebra/completion-artin-rees) の逆極限として作りました。 これらはすべて、前の章 [米田の補題と表現可能関手](/mathematics/category-homological-algebra/yoneda-lemma) の意味で「ある前層を表現する対象」です。この章では、それを**図式の極限**という一つの定義にまとめ、いつ存在するか、どう計算するか、他の構成とどう交換するかを調べます。極限は、次の章で随伴関手を扱うとき（右随伴は極限を保つ）、アーベル圏で核と余核を扱うとき、層の茎（開近傍に沿った順極限）を扱うときの共通の言葉になります。 以下、圏はすべて局所的に小さいとし、「小さい」は [圏・関手・自然変換](/mathematics/category-homological-algebra/categories-functors) で固定した宇宙についての言葉です（）。 ## 2. 図式・錐・極限 まず言葉の確認です。図式とは、点と矢印からなる形を圏の中に写したものです。錐とは、一つの対象 $X$ から図式のすべての点 $D_j$ へ矢印を引き、どの三角形も可換になるようにしたものです（図式の矢印 $a : i \to j$ に沿って $X \to D_i \to D_j$ と $X \to D_j$ が一致する）。極限は、そうした錐のうち「どの錐もちょうど一通りに通り抜けられる、いちばん手前の錐」のことです。 小さい圏 $J$ からの関手 $D : J \to \mathcal{C}$ を、$\mathcal{C}$ の **$J$ 型の図式**という。対象 $X \in \mathcal{C}$ について、$\Delta X : J \to \mathcal{C}$ を値が $X$、射の値が $\mathrm{id}_X$ の定数関手とする。 - $X$ を頂点とする $D$ 上の**錐**とは、自然変換 $\lambda : \Delta X \Rightarrow D$、すなわち射の族 $\lambda_j : X \to D_j$ で、すべての $a : i \to j$ について $D(a) \circ \lambda_i = \lambda_j$ を満たすものをいう。その全体を $\operatorname{Cone}(X, D)$ と書く。 - 双対的に、$X$ を頂点とする $D$ 下の**余錐**とは自然変換 $\mu : D \Rightarrow \Delta X$、すなわち $\mu_j \circ D(a) = \mu_i$ を満たす族 $\mu_i : D_i \to X$ をいう。 射 $f : Y \to X$ と錐 $\lambda$ から錐 $(\lambda_j \circ f)_j$ が得られます。これにより $\operatorname{Cone}(-, D) = \operatorname{Nat}(\Delta(-), D)$ は $\mathcal{C}$ 上の前層です（値は $\prod_j \operatorname{Hom}(X, D_j)$ の部分集合なので小さい集合です）。 図式 $D : J \to \mathcal{C}$ の**極限**とは、前層 $\operatorname{Cone}(-, D)$ の普遍元（）、すなわち錐 $(L, \lambda)$ であって、任意の錐 $(X, \kappa)$ に対し $\lambda_j \circ u = \kappa_j$（すべての $j$）を満たす射 $u : X \to L$ がただ一つ存在するものをいう。$L$ を $\lim D$ や $\varprojlim_j D_j$ と書く。双対的に、関手 $X \mapsto \{D \text{ 下の余錐で頂点 } X\}$ の普遍元を**余極限**といい、$\operatorname{colim} D$ や $\varinjlim_j D_j$ と書く。 - $\mathcal{C}$ が**完備**（**余完備**）であるとは、すべての小さい圏 $J$ について $J$ 型の図式がすべて極限（余極限）をもつことをいう。$J$ を有限圏（対象も射も有限個）に限るとき、**有限完備**（**有限余完備**）という。 - 関手 $G : \mathcal{C} \to \mathcal{E}$ が $D$ の極限を**保つ**とは、$D$ の極限錐 $(L, \lambda)$ の像 $(GL, G\lambda)$ が $GD$ の極限錐であることをいう。 1. $(L, \lambda)$ と $(L', \lambda')$ がともに $D$ の極限なら、$\lambda_j \circ u = \lambda'_j$（すべての $j$）を満たす射 $u : L' \to L$ がただ一つあり、$u$ は同型である。 2. $J$ 型の図式がすべて極限をもつなら、各 $D$ に極限 $(\lim D, \lambda^{D})$ を選ぶことで、$\lim : [J, \mathcal{C}] \to \mathcal{C}$ は関手になり、全単射 $\operatorname{Hom}(X, \lim D) \cong \operatorname{Cone}(X, D)$ は $X$ と $D$ について自然である。 余極限についても双対の主張が成り立つ。 1 は を前層 $\operatorname{Cone}(-, D)$ に適用したものである。2：双関手 $F : \mathcal{C}^{\mathrm{op}} \times [J, \mathcal{C}] \to \mathsf{Set}$、$F(X, D) = \operatorname{Nat}(\Delta X, D)$ を考える（$f : Y \to X$ と $\tau : D \Rightarrow D'$ は $\lambda \mapsto \tau \circ \lambda \circ \Delta f$ で作用し、二つの作用は可換）。仮定から各 $F(-, D)$ は表現可能なので、 により主張が従う。具体的には、$\tau : D \Rightarrow D'$ に対し $\lim \tau$ は $\lambda^{D'}_j \circ \lim\tau = \tau_j \circ \lambda^{D}_j$ を満たすただ一つの射である。 次の形の図式の極限・余極限に名前を付ける。 1. $J$ が離散圏（恒等射しかない圏）$I$ のとき、図式は対象の族 $(X_i)_{i \in I}$ で、極限を**積** $\prod_i X_i$（射影 $p_i$）、余極限を**余積** $\coprod_i X_i$（入射 $\iota_i$）という。$I = \varnothing$ のときの極限は終対象、余極限は始対象である。 2. $J = \{0 \rightrightarrows 1\}$（平行な 2 本の射）のとき、図式は平行な射 $f, g : X \to Y$ で、極限 $e : E \to X$ を $f, g$ の**等化子**、余極限 $q : Y \to Q$ を**余等化子**という。極限の錐は $e$ で決まり（$1$ への成分は $fe = ge$）、条件は「$fu = gu$ を満たす任意の $u$ が $e$ をただ一通りに経由する」ことである。 3. $J = \{0 \to 2 \leftarrow 1\}$ のとき、図式は $f : X \to Z$、$g : Y \to Z$ で、極限 $X \times_Z Y$（射影 $p_1, p_2$、$fp_1 = gp_2$）を**引き戻し**（ファイバー積）という。双対の $J = \{0 \leftarrow 2 \to 1\}$ の余極限 $X \sqcup_Z Y$ を**押し出し**という。$f$ を $f$ 自身に沿って引き戻した $X \times_Y X$ とその二つの射影を $f$ の**核対**という。 $\mathsf{Set}$ では、積は直積集合、等化子は $\{x \mid f(x) = g(x)\}$ とその包含、引き戻しは $\{(x, y) \mid f(x) = g(y)\}$ です。$\mathsf{Set}$ の余積は直和 $\bigsqcup_i X_i = \bigcup_i \{i\} \times X_i$ です。 ## 3. 積と等化子からすべての極限を作る 次の定理は、一般の図式の極限を「積を作り、そこから条件を満たす部分を等化子で切り出す」という二段階で作れる、と言っています。証明の方針は集合の場合と同じで、まず全対象の積 $P$ の元（すべての $D_j$ の成分の組）を考え、次に「矢印 $a$ に沿って成分が整合する」という条件を、二つの射 $s, t$ が一致する部分として表します。 圏 $\mathcal{C}$ が小さい積と等化子をすべてもつなら、$\mathcal{C}$ は完備である。有限積と等化子をもつなら有限完備である。双対的に、小さい余積と余等化子をもつなら余完備である。 $D : J \to \mathcal{C}$ を小さい図式とし、 $$ P = \prod_{j \in \operatorname{Ob}J} D_j, \qquad Q = \prod_{a \in \operatorname{Mor}J} D_{\operatorname{cod} a} $$ とおく（$\operatorname{cod} a$ は $a$ の行き先。添字集合は小さい）。射 $s, t : P \to Q$ を、$a : i \to j$ 成分が $q_a s = D(a) \circ p_i$、$q_a t = p_j$ となるように積の普遍性で定める（$p$、$q$ はそれぞれの射影）。$e : L \to P$ を $s, t$ の等化子とし、$\lambda_j = p_j e$ とおく。 **錐であること.** $a : i \to j$ について $D(a)\lambda_i = q_a s e = q_a t e = \lambda_j$。 **普遍性.** 錐 $(X, \kappa)$ に対し、積の普遍性から $p_j v = \kappa_j$ となる $v : X \to P$ がただ一つある。$q_a s v = D(a)\kappa_i = \kappa_j = q_a t v$ がすべての $a$ で成り立つので、積の普遍性の一意性から $sv = tv$。等化子の普遍性から $eu = v$ となる $u : X \to L$ がただ一つあり、$\lambda_j u = p_j v = \kappa_j$。逆に $\lambda_j u' = \kappa_j$ なら $p_j(eu') = \kappa_j$ から $eu' = v$、よって $u' = u$。 $J$ が有限なら $P$、$Q$ は有限積である。双対は $\mathcal{C}^{\mathrm{op}}$ に適用する。 ## 4. 具体的な圏の極限と余極限 $\mathsf{Set}$・$\mathsf{Mod}_A$（とくに $\mathsf{Ab}$）・$\mathsf{Top}$ は完備かつ余完備であり、$\mathsf{Grp}$ は完備である。極限と余極限は、以下の証明の中の積・等化子・余積・余等化子から の構成で与えられる。 により、小さい積・等化子（・余積・余等化子）を作ればよい。以下の集合がすべて小さいことは による。 **$\mathsf{Set}$.** 積は直積 $\prod_i X_i$ と射影で、写像 $\kappa_i : W \to X_i$ の族に $w \mapsto (\kappa_i(w))_i$ がただ一つ対応する。$f, g : X \to Y$ の等化子は $E = \{x \mid f(x) = g(x)\}$ の包含で、$fu = gu$ なら $u$ の値は $E$ に入る。余積は直和 $\bigsqcup_i X_i$ と入射で、写像の族 $\mu_i : X_i \to W$ に $(i, x) \mapsto \mu_i(x)$ がただ一つ対応する。余等化子は、$f(x) \sim g(x)$（$x \in X$）を含む最小の同値関係（それらを含む同値関係すべての共通部分）による商 $q : Y \to Y/{\sim}$ である。実際 $hf = hg$ なら、$h(y) = h(y')$ で定まる同値関係はこれらの組を含むので $\sim$ を含み、商集合の普遍性（）から $h$ は $q$ をただ一通りに経由する。 **$\mathsf{Mod}_A$.** 積は直積加群（）で、上の写像 $w \mapsto (\kappa_i(w))_i$ は $\kappa_i$ が線形なら線形。等化子は部分加群 $\operatorname{Ker}(f - g)$ の包含。余積は直和 $\bigoplus_i X_i$ で、線形写像の族 $\mu_i$ に $(x_i)_i \mapsto \sum_i \mu_i(x_i)$（有限和）がただ一つ対応する（直和は各成分の像で生成されるので一意）。余等化子は剰余加群 $Y / \operatorname{Im}(f - g)$ への射影 $q$（）で、$hf = hg$ なら $h$ は $\operatorname{Im}(f - g)$ 上で $0$ だから、$\bar h(y + \operatorname{Im}(f - g)) = h(y)$ が well-defined な線形写像で、$q$ が全射なので一意である。 **$\mathsf{Top}$.** 積は積空間で、普遍性は （写像は $\mathsf{Set}$ の場合のもの）。等化子は $E = \{x \mid f(x) = g(x)\}$ に部分空間の位相を入れたもので、部分空間の位相は包含に関する始位相なので（ の 3）、$u : W \to E$ の連続性は包含との合成の連続性と同値（同定理の 1）。余積は直和空間で 、余等化子は $\mathsf{Set}$ の余等化子 $Y/{\sim}$ に商位相を入れたもので による。 **$\mathsf{Grp}$.** 積は直積群、等化子は部分群 $\{x \mid f(x) = g(x)\}$ の包含で、いずれも $\mathsf{Set}$ の場合の写像が準同型になることを確かめればよい。直積群の演算は成分ごとなので、準同型 $\kappa_i$ の族について $w \mapsto (\kappa_i(w))_i$ は準同型である。$f(x) = g(x)$、$f(y) = g(y)$ なら $f(xy^{-1}) = f(x)f(y)^{-1} = g(xy^{-1})$ なので、等化子の台集合は部分群で、$fu = gu$ を満たす準同型 $u$ の値はそこに入る。 $\mathsf{Grp}$ の余完備性（余積は自由積、余等化子は正規閉包による商）は、自由群を作ってから示すのが見通しがよいので、[随伴関手と随伴関手定理](/mathematics/category-homological-algebra/adjoint-functors) で一般随伴関手定理の系として示します。 素数 $p$ について、自然数の順序集合 $\mathbb{N}$ の双対を圏と見て、図式 $\cdots \to \mathbb{Z}/p^{3} \to \mathbb{Z}/p^{2} \to \mathbb{Z}/p$（射は自然な全射）を考えます。 の構成を $\mathsf{Ab}$ で書き下すと、極限は $\prod_n \mathbb{Z}/p^{n}$ のうち隣り合う成分が整合する列全体で、[完備化と Artin–Rees の補題](/mathematics/commutative-algebra/completion-artin-rees) の逆極限 と一致します。これが $p$ 進整数 $\mathbb{Z}_p$ です（錐の条件は合成 $\theta_{n,m}$ についての条件ですが、隣り合う成分の条件から帰納的に従います）。 逆向きに、$\mathbb{Z}/p \to \mathbb{Z}/p^{2} \to \mathbb{Z}/p^{3} \to \cdots$（射は $p$ 倍）の余極限は、下の の記述から、各 $\mathbb{Z}/p^{n}$ を $\frac{1}{p^{n}}\mathbb{Z}/\mathbb{Z} \subseteq \mathbb{Q}/\mathbb{Z}$ と同一視して和集合をとった $\mathbb{Z}[1/p]/\mathbb{Z}$ になります。これを **Prüfer 群** $\mathbb{Z}(p^{\infty})$ といいます。 [基本群と被覆空間](/mathematics/algebraic-topology/fundamental-group-coverings) の van Kampen の定理（）は、$X = U \cup V$ のとき $\pi_1(X)$ が $\pi_1(U) \leftarrow \pi_1(U \cap V) \to \pi_1(V)$ の $\mathsf{Grp}$ での押し出しであることを、普遍性の形で述べています。押し出しが存在するかどうかを問わずに、$\pi_1(X)$ が押し出しの普遍性を満たすと主張している点に注意してください。$\mathsf{Grp}$ の押し出しが一般に存在すること（融合積）は、$\mathsf{Grp}$ の余完備性から従います。 位相空間の積・商・直和は、それぞれ射影の族に関する始位相、商写像・入射の族に関する終位相で、上の証明で見たとおり $\mathsf{Top}$ の積・余等化子・余積です。一般の極限は「$\mathsf{Set}$ の極限に、錐の射の族に関する始位相を入れたもの」、余極限は「$\mathsf{Set}$ の余極限に終位相を入れたもの」になります（）。 ## 5. 極限の計算規則 ### 5.1. 関手圏の極限は各点で計算できる $\mathcal{K}$ を小さい圏、$D : J \to [\mathcal{K}, \mathcal{C}]$ を図式とし、$D_j(k)$ を $D_j$ の $k$ での値と書く。各 $k \in \mathcal{K}$ について図式 $D_{-}(k) : J \to \mathcal{C}$ が極限 $(L(k), \lambda^{k})$ をもつなら、$L$ は関手 $\mathcal{K} \to \mathcal{C}$ になり、$\lambda_j = (\lambda^{k}_j)_k : L \Rightarrow D_j$ は自然変換で、$(L, \lambda)$ は $D$ の極限である。とくに $\mathcal{C}$ が完備（余完備）なら $[\mathcal{K}, \mathcal{C}]$ も完備（余完備）である。 $\varphi : k \to k'$ について、$D(a) : D_i \Rightarrow D_j$ の自然性から $D(a)_{k'} \circ D_i(\varphi) = D_j(\varphi) \circ D(a)_k$ なので、$(D_j(\varphi) \circ \lambda^{k}_j)_j$ は $D_{-}(k')$ 上の錐である。極限の普遍性から $\lambda^{k'}_j \circ L(\varphi) = D_j(\varphi) \circ \lambda^{k}_j$ を満たす $L(\varphi)$ がただ一つあり、一意性から $L(\psi\varphi) = L(\psi)L(\varphi)$、$L(\mathrm{id}) = \mathrm{id}$ となる。この等式は $\lambda_j$ の自然性そのものである。$\lambda$ が錐であることは各 $k$ で $\lambda^{k}$ が錐であることから従う。 $(M, \mu)$ を $D$ 上の錐（$\mu_j : M \Rightarrow D_j$）とする。各 $k$ で $((\mu_j)_k)_j$ は $D_{-}(k)$ 上の錐なので、$\lambda^{k}_j t_k = (\mu_j)_k$ となる $t_k : M(k) \to L(k)$ がただ一つある。$\varphi : k \to k'$ について $$ \lambda^{k'}_j\, t_{k'} M(\varphi) = (\mu_j)_{k'} M(\varphi) = D_j(\varphi)(\mu_j)_k = D_j(\varphi)\lambda^{k}_j t_k = \lambda^{k'}_j L(\varphi) t_k $$ がすべての $j$ で成り立つ。極限への射は錐の成分との合成で決まるので（普遍性の一意性）、$t_{k'}M(\varphi) = L(\varphi)t_k$、すなわち $t : M \Rightarrow L$ は自然変換で、$\lambda_j \circ t = \mu_j$。一意性は各成分の一意性から従う。極限の選択には選択公理（）を $\operatorname{Ob}\mathcal{K}$ 上で使う。余極限は双対である。 ### 5.2. Hom は極限を保つ $D : J \to \mathcal{C}$ を図式、$(L, \lambda)$ を $D$ 上の錐とする。 1. $\mathsf{Set}$ で、図式 $E : J \to \mathsf{Set}$ の極限は $\{(x_j) \in \prod_j E_j \mid E(a)(x_i) = x_j\ (a : i \to j)\}$ と射影である。 2. $(L, \lambda)$ が $D$ の極限であるための必要十分条件は、すべての $X \in \mathcal{C}$ について、$(\operatorname{Hom}(X, L), (\lambda_j \circ -)_j)$ が $\mathsf{Set}$ の図式 $\operatorname{Hom}(X, D_{-})$ の極限であることである。とくに $\operatorname{Hom}(X, -)$ は極限を保つ。 3. 双対的に、$\operatorname{Hom}(-, Y)$ は $\mathcal{C}$ の余極限を $\mathsf{Set}$ の極限に写す。 1: の構成を の $\mathsf{Set}$ の積と等化子で書き下したものである。 2: 1 により、$\operatorname{Hom}(X, D_{-})$ の極限は整合する族 $(u_j : X \to D_j)$ 全体、すなわち $\operatorname{Cone}(X, D)$ である。写像 $\operatorname{Hom}(X, L) \to \operatorname{Cone}(X, D)$、$u \mapsto (\lambda_j u)_j$ は、極限の比較射（ の 1 の状況で、錐の写像）である。$(\operatorname{Hom}(X, L), \lambda_* )$ が極限であることはこの写像が全単射であることと同値で、それがすべての $X$ で成り立つことは $(L, \lambda)$ が極限であることの定義（）そのものである。 3: $\mathcal{C}^{\mathrm{op}}$ に 2 を適用する。$\mathcal{C}$ の余極限は $\mathcal{C}^{\mathrm{op}}$ の極限で、$\operatorname{Hom}_{\mathcal{C}^{\mathrm{op}}}(Y, -) = \operatorname{Hom}_{\mathcal{C}}(-, Y)$ である。 と合わせると、$\mathsf{Grp}$・$\mathsf{Mod}_A$ の忘却関手は表現可能なので極限を保ちます。群の極限の台集合は台集合の極限です。 ### 5.3. 極限は極限と交換する 簡単な場合で意味を見ておきます。$I$、$J$ がともに離散圏なら極限は積なので、次の同型は「$(i, j)$ 全体にわたる積は、先に $j$ について積をとってから $i$ について積をとっても、順序を逆にしても同じ」と言っています。一般の図式でも、極限どうしは順序を入れ替えてよい、というのが主張です。 $I, J$ を小さい圏、$F : I \times J \to \mathcal{C}$ を双関手とし、各 $i$ について $F(i, -)$ の極限 $(L_i, \lambda^{i})$ があるとする。 により $i \mapsto L_i$ は関手 $L : I \to \mathcal{C}$ になる。$L$ の極限 $(M, \mu)$ があるなら、$(M, (\lambda^{i}_j \circ \mu_i)_{(i, j)})$ は $F$ の極限である。したがって、関係する極限がすべて存在するとき $$ \lim_{i} \lim_{j} F(i, j) \;\cong\; \lim_{(i, j)} F(i, j) \;\cong\; \lim_{j} \lim_{i} F(i, j) $$ である。 $X$ からの錐を比べる。$L$ 上の錐は族 $v_i : X \to L_i$ で $L(a)v_i = v_{i'}$（$a : i \to i'$）を満たすもの。極限 $L_i$ の普遍性から、$v_i$ は $F(i, -)$ 上の錐 $(u_{ij})_j = (\lambda^{i}_j v_i)_j$ と 1 対 1 に対応する。$L(a)$ は $\lambda^{i'}_j L(a) = F(a, j)\lambda^{i}_j$ で特徴づけられるので（ の 2）、条件 $L(a)v_i = v_{i'}$ は、成分ごとに見て $F(a, j)u_{ij} = u_{i'j}$（すべての $j$）と同値である。 したがって $L$ 上の錐は、族 $(u_{ij})$ で「各 $i$ で $j$ について整合し、各 $j$ で $i$ について整合する」もの、すなわち $(a, \mathrm{id})$ と $(\mathrm{id}, b)$ の形の射について整合するものと 1 対 1 に対応する。$I \times J$ の任意の射は $(a, b) = (a, \mathrm{id}) \circ (\mathrm{id}, b)$ と分解するので、これは $F$ 上の錐と同じである。この対応は $X$ について自然（どちらも $X$ 側の射との合成で動く）なので、$\operatorname{Hom}(X, M) \cong \operatorname{Cone}(X, L) \cong \operatorname{Cone}(X, F)$ が $X$ について自然な全単射になり、$M$ は対応する錐とともに $F$ の極限である（）。$I$ と $J$ の役割を入れ替えれば第 2 の同型が得られ、 の 1 により三つは同型である。 極限と**余**極限は一般には交換しません。次の節で、交換する重要な場合を扱います。 ## 6. フィルター余極限 フィルター圏は、有向集合（どの 2 元にも共通の上界がある順序集合）を圏に一般化したものです。条件 (ii) は「どの 2 つの対象にも共通の行き先がある」という有向性そのもので、条件 (iii) は、同じ 2 点を結ぶ平行な射が複数あっても、先へ進めばそれらを一致させられる、という要請です。有向集合では射が高々一つなので (iii) は自動的に成り立ちます。この節の目標は、有限個の条件は先へ進めば一度にまとめて満たせる、というこの性質を使って、余極限が有限極限と交換することを示すことです。 小さい圏 $I$ が**フィルター圏**であるとは、次の 3 条件を満たすことをいう。(i) $I$ は空でない。(ii) 任意の $i, j$ に対し、射 $i \to k$、$j \to k$ をもつ $k$ がある。(iii) 任意の平行な射 $u, v : i \to j$ に対し、$wu = wv$ となる $w : j \to k$ がある。フィルター圏を添字とする余極限を**フィルター余極限**という。 有向集合（）を圏と見たものはフィルター圏で（(iii) は Hom が高々 1 元なので自動的）、その上の余極限を**順極限**、その双対圏の上の極限を**逆極限**という。 $I$ をフィルター圏とする。対象 $i$ から出る有限個の射 $u_s : i \to k_s$（$s = 1, \ldots, n$）に対し、対象 $k$ と射 $w_s : k_s \to k$ で、$w_1u_1 = \cdots = w_nu_n$ となるものがある。とくに有限個の対象には共通の行き先がある。 (ii) を $n - 1$ 回使って、すべての $k_s$ から射 $v_s : k_s \to k'$ をもつ $k'$ をとる。平行な射 $v_1u_1, v_2u_2 : i \to k'$ に (iii) を使って $w^{(2)}$ で等化し、次に $w^{(2)}v_1u_1$ と $w^{(2)}v_3u_3$ を等化し、と $n - 1$ 回繰り返すと、合成 $w : k' \to k$ で $wv_su_s$ がすべて等しくなるものが得られる。$w_s = wv_s$ とおけばよい。後半は、有限個の対象 $k_s$ に (ii) を繰り返し使えばよい（$I$ が空でないので $n = 0$ でも成り立つ）。 $I$ をフィルター圏、$D : I \to \mathsf{Set}$ を図式とする。$\bigsqcup_i D_i$ 上の関係 $(i, x) \approx (i', x')$ を「射 $u : i \to k$、$u' : i' \to k$ で $D(u)(x) = D(u')(x')$ となるものがある」で定めると、$\approx$ は同値関係であり、$\operatorname{colim} D = \bigl(\bigsqcup_i D_i\bigr)/{\approx}$（入射は $x \mapsto [i, x]$）である。とくに、同じ $D_i$ の 2 元 $x, x'$ が余極限で等しいことは、ある $u : i \to k$ で $D(u)(x) = D(u)(x')$ となることと同値である。 反射律は $u = u' = \mathrm{id}_i$ ととればよく、対称律は定義が $(i, x)$ と $(i', x')$ について対称であることから従う。推移律：$(i, x) \approx (i', x')$ を $u, u'$（行き先 $k$）が、$(i', x') \approx (i'', x'')$ を $v', v''$（行き先 $k'$）が与えるとする。 を $i'$ から出る 2 本の射 $u', v'$ に使うと、$a : k \to m$、$b : k' \to m$ で $au' = bv'$ となるものがある。すると $D(au)(x) = D(au')(x') = D(bv')(x') = D(bv'')(x'')$。 $a : i \to j$ について $(i, x) \approx (j, D(a)x)$（$u = a$、$u' = \mathrm{id}$）なので、$x \mapsto [i, x]$ は余錐である。余錐 $\mu_i : D_i \to W$ に対し、$[i, x] \mapsto \mu_i(x)$ は、$(i, x) \approx (i', x')$ なら $\mu_i(x) = \mu_k D(u)(x) = \mu_k D(u')(x') = \mu_{i'}(x')$ なので well-defined で、余錐を経由する写像はこれしかない（どの元も $[i, x]$ の形）。最後の主張は、$x, x'$ に対する $u, u'$ を で一つの射にまとめればよい。 $I$ をフィルター圏、$J$ を有限圏、$F : I \times J \to \mathsf{Set}$ を双関手とする。標準写像 $$ \kappa : \operatorname*{colim}_{i} \lim_{j} F(i, j) \longrightarrow \lim_{j} \operatorname*{colim}_{i} F(i, j), \qquad [i, (x_j)_j] \mapsto ([i, x_j])_j $$ は全単射である。 極限は の 1 の整合する族、余極限は の記述を使う。$\kappa$ は各成分 $[i, (x_j)] \mapsto [i, x_j]$ が余錐を与えることから well-defined である。 **全射.** $(\xi_j)_j \in \lim_j \operatorname{colim}_i F(i, j)$ をとり、$\xi_j = [i_j, x_j]$ と書く。$J$ は有限なので、 により共通の行き先 $i$ と射 $i_j \to i$ があり、$x_j$ をそれで送ると、$\xi_j = [i, y_j]$（$y_j \in F(i, j)$）と書ける。$J$ の各射 $b : j \to j'$ について、$(\xi_j)$ が整合することから $[i, F(i, b)y_j] = [i, y_{j'}]$ で、 の最後の主張から、ある $u_b : i \to k_b$ で $F(u_b, j')F(i, b)y_j = F(u_b, j')y_{j'}$。$J$ の射は有限個なので、 で $w_b u_b$ がすべて等しい一つの射 $u : i \to k$ にまとめられる。$z_j = F(u, j)y_j$ とおくと、$F$ の双関手性から $F(k, b)z_j = F(u, j')F(i, b)y_j = F(u, j')y_{j'} = z_{j'}$ なので $(z_j) \in \lim_j F(k, j)$ で、$\kappa([k, (z_j)]) = ([k, z_j])_j = ([i, y_j])_j = (\xi_j)_j$。 **単射.** $\kappa([i, x]) = \kappa([i', x'])$ とする。共通の行き先に送ることで $i = i'$ としてよい。各 $j$ で $[i, x_j] = [i, x'_j]$ なので、ある $u_j : i \to k_j$ で $F(u_j, j)x_j = F(u_j, j)x'_j$。$J$ の対象は有限個なので、 で一つの $u : i \to k$ にまとめると、すべての $j$ で $F(u, j)x_j = F(u, j)x'_j$、すなわち $\lim_j F(u, j)$ が $x$ と $x'$ を同じ元に送る。よって $[i, x] = [i, x']$。 証明で「$J$ が有限」を使ったのは、有限個の条件を一つの射 $u$ でまとめて満たす箇所だけです。 で見るように、$I$ がフィルターでないと結論は成り立ちません。 $I$ をフィルター圏とする。 1. 図式 $D : I \to \mathsf{Mod}_A$ の余極限は、台集合の余極限 $\bigl(\bigsqcup_i D_i\bigr)/{\approx}$ に、$[i, x] + [i, y] = [i, x + y]$、$a[i, x] = [i, ax]$ で加群の構造を入れたものである。 2. 自然変換 $f : D' \Rightarrow D$、$g : D \Rightarrow D''$ が各 $i$ で完全列 $D'_i \to D_i \to D''_i$（）を与えるなら、余極限の列 $\operatorname{colim} D' \to \operatorname{colim} D \to \operatorname{colim} D''$ も完全である。とくにフィルター余極限は短完全列を短完全列に写す。 1: 2 元は により同じ $D_i$ の元で代表できる。和が代表元によらないこと：$[i, x] = [i', x']$、$[i, y] = [i', y']$ なら、 で $x, x'$ と $y, y'$ にそれぞれ射の組をとり、$i$ から出る 2 本を で、続いて $i'$ から出る 2 本を の (iii) で一つにまとめると、$u : i \to k$、$u' : i' \to k$ で $D(u)x = D(u')x'$、$D(u)y = D(u')y'$ となるものがとれ、$D(u)$、$D(u')$ が線形なので $D(u)(x + y) = D(u')(x' + y')$。スカラー倍も同様で、加群の公理は代表元の計算に帰着する。入射は線形で、線形な余錐 $\mu_i$ に対して $\mathsf{Set}$ での誘導写像 $[i, x] \mapsto \mu_i(x)$ は線形なので、これが $\mathsf{Mod}_A$ の余極限である。 2: 余極限の写像は $[i, x] \mapsto [i, f_i(x)]$ である。合成が $0$ なのは各 $i$ で $g_if_i = 0$ だから。$[i, x]$ が $g$ で $0$ に写るとすると、$[i, g_i(x)] = [i, 0]$ だから、ある $u : i \to k$ で $D''(u)g_i(x) = 0$、すなわち $g_k(D(u)x) = 0$。$k$ での完全性から $D(u)x = f_k(y)$ となる $y \in D'_k$ があり、$[i, x] = [k, D(u)x] = [k, f_k(y)]$ は $f$ の像に入る。単射・全射の保存も同じ議論（$f_k$ の単射性、$g_i$ の全射性を代表元で使う）で示せる。 2 は「核（$\mathsf{Set}$ での有限極限 $\{x \mid g(x) = 0\}$）がフィルター余極限と交換する」ことの具体的な形で、 の特別な場合と見ることもできます。層の茎は開近傍の有向集合に沿った順極限なので、2 から「層の短完全列は茎ごとに完全」という性質が出てきます。 ## 7. mono・共終性・正則エピ射 ### 7.1. mono の核対による判定 射 $f : X \to Y$ について次は同値である。 1. $f$ は mono である。 2. 四角形 $f \circ \mathrm{id}_X = f \circ \mathrm{id}_X$ が引き戻しである（すなわち $(X, \mathrm{id}_X, \mathrm{id}_X)$ が $f$ の核対である）。 3. $f$ の核対 $(X \times_Y X, p_1, p_2)$ が存在し、$p_1 = p_2$ である。 1 ⇒ 2：$fu = fv$ を満たす $u, v : W \to X$ に対し、$f$ が mono なので $u = v$ で、$\mathrm{id}_X \circ t = u$、$\mathrm{id}_X \circ t = v$ を満たす $t$ は $t = u$ ただ一つ。これが引き戻しの普遍性である。 2 ⇒ 3：核対として $(X, \mathrm{id}, \mathrm{id})$ がとれ、二つの射影は等しい。核対は一意な同型を除いて一意（）なので、どの核対でも $p_1 = p_2$。 3 ⇒ 1：$fu = fv$ なら引き戻しの普遍性から $p_1t = u$、$p_2t = v$ となる $t$ があり、$u = p_1t = p_2t = v$。 この判定は「mono は引き戻しで表せる性質」であることを示しています。たとえば右随伴は引き戻しを保つので mono を保ちます（[随伴関手と随伴関手定理](/mathematics/category-homological-algebra/adjoint-functors) で使います）。 ### 7.2. 共終関手 関手 $\varphi : I \to J$（$I, J$ は小さい）が**共終**であるとは、各 $j \in J$ についてコンマ圏 $(j \downarrow \varphi)$（。対象は射 $u : j \to \varphi(i)$）が空でなく連結（任意の 2 対象が、向きを問わない射の有限列で結ばれる）であることをいう。$\varphi$ が共終なら、図式 $D : J \to \mathcal{C}$ について、$D$ 下の余錐を $\varphi$ に制限する写像は、$D$ 下の余錐と $D\varphi$ 下の余錐の間の（頂点について自然な）全単射である。したがって $D$ の余極限が存在することと $D\varphi$ の余極限が存在することは同値で、標準射 $\operatorname{colim} D\varphi \to \operatorname{colim} D$ は同型である。 $D\varphi$ 下の余錐 $\mu_i : D\varphi(i) \to X$ が与えられたとする。$j \in J$ と $(j \downarrow \varphi)$ の対象 $u : j \to \varphi(i)$ に対し $\mu_i \circ D(u)$ を考える。$(j \downarrow \varphi)$ の射 $a : (i, u) \to (i', u')$（$\varphi(a)u = u'$）について $\mu_{i'}D(u') = \mu_{i'}D(\varphi(a))D(u) = \mu_iD(u)$（$\mu$ が余錐）なので、この値は射で結ばれた対象で等しく、$(j \downarrow \varphi)$ が連結だから $u$ の選び方によらない。空でないので値が定まり、これを $\lambda_j$ とおく。$b : j \to j'$ と $(i', u')$ について $(i', u'b)$ は $(j \downarrow \varphi)$ の対象なので、$\lambda_j = \mu_{i'}D(u'b) = \lambda_{j'}D(b)$。よって $\lambda$ は $D$ 下の余錐で、$u = \mathrm{id}_{\varphi(i)}$ をとれば $\lambda_{\varphi(i)} = \mu_i$。 逆に $D$ 下の余錐 $\lambda$ を $\varphi$ に制限して上の構成をすると、$\lambda_{\varphi(i)}D(u) = \lambda_j$ なので元の $\lambda$ に戻る。こうして制限は全単射で、頂点 $X$ 側の射との合成と可換だから $X$ について自然である。 により、二つの余錐の関手の一方が表現可能なら他方もそうで、表現対象は一致する。 有向集合 $J$ の部分集合 $I$ で、任意の $j$ に対し $j \le i$ となる $i \in I$ があるもの（共終部分集合）は、包含が共終関手です（$(j \downarrow \varphi)$ は $\{i \in I \mid j \le i\}$ で、空でなく、有向なので連結）。たとえば順極限 $\varinjlim_n D_n$ は部分列 $\varinjlim_k D_{n_k}$ と同じです。 ### 7.3. 部分対象と正則エピ射 $X$ を行き先とする mono $m : A \to X$、$m' : A' \to X$ について、$m = m' \circ t$ となる同型 $t$ があるとき同値とし、その同値類を $X$ の**部分対象**という。$m$ が $m'$ を経由するとき $[m] \le [m']$ と書く。双対的に、$X$ から出る epi の同値類を $X$ の**商対象**という。 $\mathsf{Set}$ や $\mathsf{Mod}_A$ では、部分対象は部分集合・部分加群と 1 対 1 に対応します（ により mono は単射で、単射は像への同型と包含の合成）。 次の正則エピ射の定義は、「全射」という集合の言葉を、射だけの言葉（余等化子）に言い換えるためのものです。この節の後半の正則圏・拡張的圏の定義は、そうした圏の分類のための用語で、この記事の他の部分の証明には使いません。 射 $q : Y \to Q$ が、ある平行な射の組 $f, g : X \to Y$ の余等化子であるとき、$q$ を**正則エピ射**という。 正則エピ射は epi です（余等化子の普遍性の一意性の部分から）。 $\mathsf{Set}$・$\mathsf{Mod}_A$（とくに $\mathsf{Ab}$）・$\mathsf{Grp}$ で、射が正則エピ射であることと全射であることは同値である。 **正則エピ射なら全射.** $\mathsf{Set}$・$\mathsf{Mod}_A$ では、 の証明で作った余等化子は商写像で全射であり、余等化子は一意な同型を除いて一意なので（）、どの余等化子も全射である。$\mathsf{Grp}$ では、$f, g : K \to G$ に対し、$\{f(k)g(k)^{-1}\}$ を含む正規部分群すべての共通部分 $N$（正規部分群の共通部分は正規部分群）による商 $\pi : G \to G/N$（）が余等化子である。実際 $hf = hg$ なら $\operatorname{Ker} h$ は $f(k)g(k)^{-1}$ を含む正規部分群なので $N \subseteq \operatorname{Ker} h$ で、 から $h$ は $\pi$ をただ一通りに経由する。$\pi$ は全射なので、同じ理由でどの余等化子も全射である。 **全射なら正則エピ射.** $p : G \to H$ を $\mathsf{Grp}$ の全射とし、$N = \operatorname{Ker} p$、$\iota : N \to G$ を包含、$e : N \to G$ を自明な準同型とする。$h\iota = he$ は $N \subseteq \operatorname{Ker} h$ と同値なので、 により $\iota, e$ の余等化子は $G \to G/N$ で、 の同型 $G/N \cong H$ を合成すると $p$ が余等化子になる。$\mathsf{Mod}_A$ も同様（核の包含と零写像、）。$\mathsf{Set}$ では、全射 $p : X \to Y$ はその核対 $X \times_Y X \rightrightarrows X$ の余等化子である。実際、核対で $hp_1 = hp_2$ となる $h$ は「$p(x) = p(x')$ なら $h(x) = h(x')$」を満たし、$p$ が全射なので $X/{\sim_p} \cong Y$ を通じて商集合の普遍性（）から $h$ はただ一通りに $p$ を経由する。 1. 有限完備な圏 $\mathcal{C}$ が**正則圏**であるとは、すべての射の核対が余等化子をもち、正則エピ射が引き戻しで保たれる（正則エピ射 $q$ を任意の射に沿って引き戻した射が正則エピ射である）ことをいう。 2. 有限余積をもつ圏 $\mathcal{C}$ が**拡張的**であるとは、余積の入射に沿った引き戻しが存在し、$X \to A \sqcup B$ を入射に沿って引き戻した $X_A \to A$、$X_B \to B$ について、標準射 $X_A \sqcup X_B \to X$ がつねに同型であり、さらに $A \sqcup B$ 上の対象がこの形の分解でただ一通りに決まる（スライス圏の圏同値 $\mathcal{C}/(A \sqcup B) \simeq \mathcal{C}/A \times \mathcal{C}/B$）ことをいう。 $\mathsf{Set}$ は正則かつ拡張的で、$\mathsf{Ab}$・$\mathsf{Mod}_A$・$\mathsf{Grp}$ は正則です。$\mathsf{Ab}$ は拡張的ではありません（余積 $\mathbb{Z} \oplus \mathbb{Z}$ への対角 $\mathbb{Z} \to \mathbb{Z} \oplus \mathbb{Z}$ を各入射に沿って引き戻すと $0$ になり、$0 \oplus 0 \to \mathbb{Z}$ は同型でない）。$\mathsf{Top}$ は拡張的ですが正則ではありません（商写像は引き戻しで保たれるとは限らない）。正則圏は「像」がよく振る舞う圏で、アーベル圏はその典型例です。 小さい圏 $\mathcal{C}$ について、前層 $F \in \mathrm{PSh}(\mathcal{C})$ が表現可能前層のフィルター余極限 $\operatorname{colim}_{i \in I} h_{X_i}$（$I$ はフィルター圏）と同型なとき、$F$ を $\mathcal{C}$ の **Ind 対象**といい、それらがなす $\mathrm{PSh}(\mathcal{C})$ の充満部分圏を $\mathrm{Ind}(\mathcal{C})$ と書く。$\mathrm{Pro}(\mathcal{C}) = \mathrm{Ind}(\mathcal{C}^{\mathrm{op}})^{\mathrm{op}}$ の対象を **pro 対象**という。 Ind 対象は「$\mathcal{C}$ の中には無いフィルター余極限を、形式的に付け加えたもの」です。たとえば有限生成アーベル群の圏の Ind 対象はすべてのアーベル群に対応し（どのアーベル群も有限生成部分群の順極限）、有限群の圏の pro 対象は副有限群（$\mathbb{Z}_p$ や Galois 群のような、有限群の逆極限として現れる位相群）を形式的に表します。極限を使って「無限の対象を有限の対象の系として扱う」考え方は、代数幾何学や数論で繰り返し現れます。 ## 8. 演習 $\mathsf{Set}$ で、$X = \{1, 2, 3, 4\}$、$Y = \{a, b, c\}$、$Z = \{0, 1\}$ とし、$f : X \to Z$ を $f(1) = f(2) = 0$、$f(3) = f(4) = 1$、$g : Y \to Z$ を $g(a) = 0$、$g(b) = g(c) = 1$ とする。引き戻し $X \times_Z Y$ の元の個数と、$f$ の核対 $X \times_Z X$ の元の個数を求めよ。 $X \times_Z Y = \{(x, y) \mid f(x) = g(y)\}$ です。$z = 0$ の上には $2 \times 1 = 2$ 個、$z = 1$ の上には $2 \times 2 = 4$ 個あるので、合計 $6$ 個です。核対は $\{(x, x') \mid f(x) = f(x')\}$ で、$2 \times 2 + 2 \times 2 = 8$ 個です。$f$ は単射でないので、 のとおり核対は対角（4 個）より大きくなっています。 $I$ を 2 対象の離散圏（フィルター圏でない）、$J$ を 2 対象の離散圏とし、$F : I \times J \to \mathsf{Set}$ をすべての値が 1 点集合の関手とする。$\operatorname{colim}_i \lim_j F$ と $\lim_j \operatorname{colim}_i F$ の元の個数を比べ、 でフィルター性が必要なことを確かめよ。 離散圏上の極限は積、余極限は余積（直和）です。$\lim_j F(i, j) = 1 \times 1$ は 1 点なので、$\operatorname{colim}_i$ はその 2 個の直和で $2$ 点です。一方 $\operatorname{colim}_i F(i, j) = 1 \sqcup 1$ は 2 点なので、$\lim_j$ はその積で $2 \times 2 = 4$ 点です。$2 \ne 4$ なので標準写像は全単射ではありません。$I$ は (ii) を満たさない（2 つの対象に共通の行き先がない）ので、フィルター圏ではありません。 引き戻しの四角形 $X \times_Z Y \to Y$、$X \times_Z Y \to X$ において、$f : X \to Z$ が mono なら、それを $g : Y \to Z$ に沿って引き戻した $p_2 : X \times_Z Y \to Y$ も mono であることを示せ。 $p_2u = p_2v$ とします。$gp_2 = fp_1$ より $fp_1u = gp_2u = gp_2v = fp_1v$ で、$f$ が mono なので $p_1u = p_1v$ です。二つの射影との合成が一致するので、引き戻しの普遍性の一意性から $u = v$ です。 $D : J \to \mathsf{Grp}$ を小さい図式とする。$D$ の極限の台集合は、台集合の図式 $UD : J \to \mathsf{Set}$ の極限であることを、 と から導け。さらに、$\mathsf{Grp}$ の余積の台集合は台集合の余積（直和）と一致しないことを、$\mathbb{Z}/2$ の 2 つのコピーの余積 $C$ が無限群であることを示して確かめよ（$\mathsf{Grp}$ の余積の存在は [随伴関手と随伴関手定理](/mathematics/category-homological-algebra/adjoint-functors) で示す）。 忘却関手は $U \cong \operatorname{Hom}(\mathbb{Z}, -)$ で、 の 2 により $\operatorname{Hom}(\mathbb{Z}, -)$ は極限を保つので、$U(\lim D) \cong \lim UD$ です。後半：2 つのコピーの生成元をそれぞれ位数 2 の元 $s, t$ に送る準同型の組 $\mathbb{Z}/2 \to D_\infty$ を考えます。ここで $D_\infty$ は $\mathbb{Z}$ の変換 $s(n) = -n$、$t(n) = 1 - n$ が生成する置換群です。$ts(n) = n + 1$ なので $ts$ は位数無限の元です。余積の普遍性から $C \to D_\infty$ で二つの生成元を $s, t$ に送る準同型があり、像が無限群なので $C$ も無限群です。一方、台集合の直和は 4 元集合なので一致しません。 ## 参考文献 - S. Mac Lane, *Categories for the Working Mathematician*, 2nd ed., Graduate Texts in Mathematics 5, Springer, 1998 — 第 III 章（極限）、第 V 章（極限の構成）、第 IX 章（フィルター余極限と有限極限の交換、共終関手）。 - E. Riehl, *Category Theory in Context*, Dover, 2016 — 第 3 章。 - M. Kashiwara, P. Schapira, *Categories and Sheaves*, Grundlehren der mathematischen Wissenschaften 332, Springer, 2006 — 第 2 章・第 3 章（極限、フィルター余極限）、第 6 章（Ind 対象）。 - F. Borceux, *Handbook of Categorical Algebra 1*, Encyclopedia of Mathematics and its Applications 50, Cambridge University Press, 1994 — 第 2 章（極限）。 - T. Leinster, *Basic Category Theory*, Cambridge Studies in Advanced Mathematics 143, Cambridge University Press, 2014 — 第 5 章。