9.2 範疇與函子 1945#

本章導言#

到第九章為止，我們已三次重複同一套機器：群的正規子群與商群、環的理想與商環、模的子模與商模；也三次重複同構定理。數學家自然會問：能不能把「對象 + 映射」的公共格式抽出來，一次性研究所有數學結構？ 1945 年，Eilenberg 與 Mac Lane 發表《代數拓撲與範疇論的一般理論》，答案是肯定的：範疇（objects + morphisms）與函子（範疇之間的映射）。範疇論起初是同調代數的配套工具，如今已是數學的作業系統——本節介紹其核心語法：範疇、函子、自然變換、泛性質，並回望本書已用過的範疇論時刻。

歷史前因後果#

驅動關係的關鍵：自然變換是範疇論真正的發明動機。Eilenberg 與 Mac Lane 注意到，代數拓撲中「對每個空間 \(X\) 配一個群 \(H_n(X)\) 」的構造在換空間時表現協調——這種「構造之間的協調性」無法用當時的語言陳述，於是他們被迫發明範疇與函子，再發明自然變換來談論協調。範疇論不是哲學家的發明，而是被迫的技術需要——這一點常被忽略。

定義：範疇、函子、自然變換#

定義 9.2.1：範疇 \(\mathcal{C}\) 由（1）對象類 \(\mathrm{Ob}(\mathcal{C})\) 、（2）每對對象 \((A, B)\) 的態射集 \(\mathrm{Hom}(A, B)\) 、（3）複合 \(\circ\) 組成，滿足：複合結合、有單位態射 \(\mathrm{id}_A\) 。

本書已遇到的範疇：

• Grp：群 + 群同態（第 2 章）。
• Ring：環 + 環同態（第 4 章）。
• ** \(\boldsymbol{R}\) -Mod**： \(R\) -模 + 模同態（7.1）。
• Top：拓撲空間 + 連續映射。
• 體不構成範疇（體同態必單，非一般態射——這是少數「良好性質反而妨礙範疇化」的例子，呼應 5.1）。

注意範疇論的視角革命：對象不透過內部結構被理解，而是透過它與其他對象的態射被理解。「 \(A\) 是什麼」的問題被替換為「 \(A\) 到別處的映射是什麼」。

定義 9.2.2：函子 \(F: \mathcal{C} \to \mathcal{D}\) 是「範疇的同態」：對象映對象、態射映態射，保持複合與單位。反變函子則翻轉態射方向。

定義 9.2.3：兩個函子 \(F, G: \mathcal{C} \to \mathcal{D}\) 之間的自然變換 \(\eta\) 是一族態射 \(\eta_A: F(A) \to G(A)\) （每個 \(A\) 一個），使得對每個態射 \(f: A \to B\) 方塊交換：

本書已有的函子時刻：

1. ** \(\mathrm{Gal}(E/\,\cdot\,)\) 是反變函子：固定 \(E\) ，對象取中間體 \(K\) ，態射取包含 \(K_1 \subseteq K_2\) ，映到群包含 \(\mathrm{Gal}(E/K_2) \subseteq \mathrm{Gal}(E/K_1)\) ——方向反轉**。6.1 節的「反序對應」就是反變函子性的具體表現。
2. ** \(R \mapsto R[x]\) 是函子**：環同態 \(\phi: R \to S\) 誘導 \(\phi[x]: R[x] \to S[x]\) （4.3 節多項式環的泛性質其實就是函子性的陳述）。
3. ** \(\pi_1, H_n\) 是拓撲 → 群/模的函子**：連續映射誘導同態——這是 9.3 節同調群「誘導同態」的正式身分。

泛性質：範疇論的「解方程」#

範疇論最有實效的工具是泛性質（universal property）：不描述對象內部，只規定它是「到所有對象的唯一滿足某圖表的映射」。回顧：

• 自由群（2.3、2.2）： \(\mathrm{Hom}(F(S), G) \cong \mathrm{Hom}(S, G_{\mathrm{set}})\) ——從生成集出發的映射唯一延拓。
• 多項式環（4.3）：環同態 \(R[x] \to S\) \(\iff\) 環同態 \(R \to S\) + 一個選點——「代入」就是泛性質。
• 商群/商模（3.2、7.1）： \(G/N \to H\) \(\iff\) \(G \to H\) 且 \(N\) 在核中。
• 張量積（本節未展開）：雙線性映射的通用接收器。

泛性質的實效：它保證對象「在至多差一個同構下唯一」（初等但深刻的論證），並使構造可以跨範疇複製——同一個圖式給出自由群、自由模、多項式環。這是「一次定義、處處使用」的結構主義承諾的兌現。

YONEDA 引理：結構即關係#

範疇論最深的單一定理：

定理 9.2.4（Yoneda，1954）：對象 \(A\) 被它的 Hom 函子 \(h_A = \mathrm{Hom}(\,\cdot\,, A)\) （差一個自然同構）完全決定。

意義：「知道 \(A\) 到每個對象的映射」就等於「知道 \(A\) 」。本書反覆出現的口號「研究對象就是研究它與他者的關係」在 Yoneda 引理中獲得嚴格形態。Galois 對應（6.1）可以讀作一個 Yoneda 式的宣言：中間體 \(K\) 由 \(\mathrm{Gal}(E/K)\) 決定——體由其對稱性決定。

具體例題#

例題 9.2.1：證明「自由群 \(F(S)\) 」的泛性質在至多差一個同構下唯一；並由此推出 \(F(\{*\}) \cong \mathbb{Z}\) 。

解：設 \(F, F'\) 都滿足：對任意群 \(G\) ， \(\mathrm{Hom}(F, G) \cong \mathrm{Hom}(S, G_{\mathrm{set}})\) （自然地於 \(G\) ）。取 \(G = F'\) ，單位方向的雙射給出 \(F \to F'\) 的同態 \(u\) ；取 \(G = F\) ，得 \(F' \to F\) 的 \(u'\) 。合成 \(u'u\) 與 \(\mathrm{id}_F\) 都是 \(\mathrm{Hom}(F, F)\) 中對應「 \(S \to S\) 的恆等映射」的元素，由雙射性兩者相等；同理 \(uu' = \mathrm{id}\) 。故 \(F \cong F'\) 。 \(\blacksquare\)

特例： \(S = \{*\}\) 單點。 \(\mathrm{Hom}(\{*\}, G_{\mathrm{set}})\) 就是 \(G\) 的元素集合，故 \(\mathrm{Hom}(F(\{*\}), G) \cong G\) （作為集合）對一切 \(G\) 。取 \(G = \mathbb{Z}\) ：生成元的像唯一決定同態 \(\mathbb{Z} \to G\) （映到 \(g\) ，即 \(n \mapsto g^n\) ），確實 \(\mathrm{Hom}(\mathbb{Z}, G) \cong G\) 。故 \(F(\{*\}) \cong \mathbb{Z}\) ——整數加法群是「一個生成元的自由性」的化身，回顧 2.3 節循環群。 \(\blacksquare\)

此例展示了範疇論方法的形態：證明唯一性不靠計算內部，而靠態射的圖式；具體同構（ \(\mathbb{Z}\) ）反而是事後的計算確認。

範疇論眼中的本書：一張兌現清單#

用本節的語言回望前九章，許多「順手做成」的操作獲得正式名字：

其中「伴隨函子」（adjoint functor）值得單獨點名：遺忘函子（忘掉群結構只看集合）與自由函子（從集合生成自由群）構成一對伴隨，這是 1958 年 Kan 的發現。伴隨是範疇論的「乘法口訣」：數學中成對出現的構造（自由/遺忘、極限/余極限、量詞 \(\forall/\exists\) ）幾乎都是伴隨對。本書為篇幅所限不展開，但讀者應知道：前九章每一次「取商」「取自由」「取生成」，在範疇論中都是同一個口訣的不同變調。

範疇論的雙刃性#

必須公允：範疇論被批評為「抽象的抽象」。但它的歷史記錄不支持純粹的貶抑——每個大抽象化都因具體阻塞而生：

• Eilenberg–Mac Lane：同調論中「自然性」無法陳述。
• Grothendieck：Weil 猜想需要把幾何變成「範疇上的層」才能引入上同調（最終導致 Fermat 大定理的證明）。
• 同倫型分類、導出範疇：二十一世紀數學物理（如弦論的 D-brane 範疇）的主語言。

規律與本書一貫的主題一致：抽象不是為了高，而是為了讓具體的阻塞變成可解的。

與其他領域的關聯#

• 往 9.1、9.3：正合序列與鏈複形都在 Abel 範疇（如 \(R\) -Mod）中談論；同調本身是函子（ \(H_n: \text{鏈複形} \to R\text{-Mod}\) ），正合性是函子性的可檢驗後果。
• 往 6.1：Galois 對應是反變函子的原型；Yoneda 語言下的「體由對稱決定」。
• 往 8.2：Lie 代數的表示構成範疇；最高權理論是該範疇的結構定理。
• 往 10.1：橢圓曲線的 \(\ell\) -進表示、Fermat 大定理的框架（Galois 表示論）是範疇化代數的當代主戰場。
• 計算機科學：Haskell 的 Functor/Monad 類型類直接借自範疇論——本節的定義就是那段程式碼的數學原文。

結語#

Eilenberg 與 Mac Lane 1945 年的論文有一個謙遜的副標題——他們聲稱範疇論只是「技術性語言」。八十年後，它成為數學與物理、邏輯、程式設計的公共語法。範疇論教會數學家一件事：定義可以研究關係而非實體，證明可以依靠圖式而非計算。這種視角的極限測試就是下一節：同調群——把「結構的偏差」本身變成可計算的代數對象。

（本節核心一句：數學的進步，常常不是算出新答案，而是把舊問題翻譯成更易懂的語言。）