跳轉到

10.1 範疇論作為另一種基礎#

本章導言#

Eilenberg–Mac Lane 1945 發明範疇論時，目的是組織代數拓撲，不是取代集合論。但 Grothendieck 1957–60 年代在代數幾何中的巨大應用、Lawvere 1960 年代的範疇邏輯，使範疇論逐漸顯示出一種不同的基礎能力：數學對象的地位由其映射（morphisms）決定，不由其內部結構決定——「結構保持映射優先於結構」。這是對 Frege–Cantor–Zermelo 傳統（對象 + 屬於關係優先）的根本替代。本節講範疇論的基礎主張、topos 理論、以及它與集合論、類型論的三方格局。

範疇論的世界觀：箭頭優先#

範疇 = 對象類 + 對象間的態射 + 合成（滿足結合律與單位元）。核心哲學：

同構的對象不可區分——對象的一切性質應由態射表達。

與集合論的對照：集合論中「 \(A = B\) 」由元素決定（外延性）；範疇論中「 \(A \cong B\) 」是最高級別的相等——「相等」被弱化為「同構」，而同構由映射網絡決定。這個視角的生產力在數學各領域已證明（代數幾何、表示論、同調代數），但它能否作為基礎——即所有數學的起點——是 1960 年代 Lawvere 提出的問題。

Lawvere 的兩步：

  1. 範疇的集合論分析（1964）：以範疇論語言公理化「集合的範疇」 \(\mathbf{Set}\) （元素由「從單點對象的態射」定義）——集合論可以被翻譯進範疇語言。
  2. 初等拓撲斯（elementary topos, 1970）：公理化一類範疇（有有限極限、指數對象、子對象分類器），使直覺主義高階邏輯在其中成立——拓撲斯是「集合論的廣義化 + 邏輯的內建」。

TOPOS：宇宙作為一個範疇#

一個 topos \(\mathcal{E}\) 中可以「做數學」：對象可視為廣義集合、態射為廣義函數、內部邏輯是直覺主義的（一般 topos 不滿足排中律——9.1 節的開集 topos 是最早例子： \(\mathbf{Sh}(X)\) 的內部邏輯正是 \(X\) 的開集邏輯）。

關鍵例子：

  • \(\mathbf{Set}\) ：經典數學的 topos（排中律成立）。
  • \(\mathbf{Sh}(X)\) ：拓撲空間 \(X\) 上的層——內部邏輯 = \(X\) 的開集邏輯。
  • 有效 topos（Effective topos, Hyland 1982）：以可計算性（7.1–7.2 節）為內部邏輯基礎的 topos——「可計算數學」的完整宇宙，其中「所有函數可計算」為真。
  • Grothendieck topos：代數幾何的層宇宙——étale 上同調（證明 Weil 猜想）的舞台。

基礎的主張：數學不是發生在「唯一宇宙 \(V\) 」中，而是發生在某個 topos 中；不同的 topos 有不同的內部邏輯與數學。「基礎」從「唯一地基」變成「可選宇宙」——與 8.3 節力迫法的多元論呼應，但這裡的多元是邏輯層面的（排中律本身可以局部失效）。

Grothendieck 宇宙與大基數#

Grothendieck 1957 為代數幾何的「大小問題」引入宇宙（universe）：一個封閉於冪集、併集、函數空間的集合 \(U\) ，作為「工作宇宙」。Grothendieck 宇宙的存在等價於不可達基數（4.3 節）——範疇論的基礎實踐需要比 ZFC 更強的公理（不可達基數）。

這引發基礎的「強度譜系」：日常數學（6.3 節逆數學：弱公理夠用）→ 代數幾何（Grothendieck 宇宙：不可達）→ 大基數集合論（8.2 節：更強）。「基礎強度」成為按需選擇的資源——如同記憶體配置。

一個具體例子#

例題 10.1.1：在範疇 \(\mathbf{Set}\) 中，以態射語言定義「元素」「單射」「積」，並驗證積的萬有性質恢復笛卡兒積。

解：取終對象 \(1 = \{\ast\}\) （每對象到它有唯一態射）。

  • 元素： \(x \in A\) 定義為態射 \(x : 1 \to A\) 。元素是映射——Frege 的對象論（1.3 節）被反轉：點由其「位置函數」確定。
  • 單射： \(f: A \to B\) 是 monic（左可消）： \(f \circ g = f \circ h \Rightarrow g = h\) 對一切 \(g, h : C \to A\) 。在 \(\mathbf{Set}\) 中恰為通常單射。
  • 積： \(A \times B\) 配態射 \(\pi_1, \pi_2\) ，萬有性質：對任意 \(C\) 與 \(f: C \to A\) 、 \(g: C \to B\) ，存在唯一 \(h: C \to A \times B\) 使 \(\pi_1 h = f\) 、 \(\pi_2 h = g\) 。

驗證：取 \(A \times B =\) 笛卡兒積、 \(\pi_1, \pi_2\) 為投影，則 \(h(c) = (f(c), g(c))\) 唯一滿足——萬有性質成立。反之萬有性質唯一決定積至同構（標準论证）：積不需要「對的集合」，只需要滿足關係的對象。「由互動定義對象」是範疇論的定義範式——Yoneda 引理是其理論表述：對象由其接收的態射（預層）決定。 \(\blacksquare\)

例題 10.1.2：說明拓撲斯 \(\mathbf{Sh}(X)\) 的內部邏輯為何是直覺主義的：以開集 \(U \subseteq X\) 上的層語言，驗證排中律失效的具體對象。

解： \(\mathbf{Sh}(X)\) 的真值對象是 \(\mathcal{O}(X)\) （開集格），語句 \(\phi\) 的真值是「 \(\phi\) 局部成立的最大開集」。取 \(X = \mathbb{R}\) 、層對象 \(S\) 為常值層的某子層對應命題 \(P\) ，使 \(P\) 的真值 = \(\mathbb{R} \setminus \{0\}\) （開集）。則 \(\neg P\) 的真值 = 內部 \((\complement (\mathbb{R} \setminus \{0\}))\) = \(\varnothing\) ； \(P \vee \neg P\) 的真值 = \((\mathbb{R} \setminus \{0\}) \cup \varnothing \ne \mathbb{R}\) 。排中律在 \(\mathbf{Sh}(\mathbb{R})\) 內部失效——與 9.1 節例題 9.1.2 的開集語義完全一致：拓撲斯的內部邏輯理論化了「局部真」。 \(\blacksquare\)

三種基礎的格局#

到 2010 年代，數學基礎呈三方格局：

基礎 原始對象 邏輯 哲學 工程代表
ZFC 集合 經典 柏拉圖主義傾向 Mizar、Metamath
MLTT 類型 直覺主義 構造主義 Coq、Agda、Lean
Topos／範疇 態射 內建可變 結構主義 （作為語義而非證明系統）

互譯的現實：三者在語義層互譯（topos = MLTT 的模型 = ZFC 內的類結構）；實踐中數學家日常用集合論語言、形式化多用類型論、高等結構理論用範疇論——基礎的多元是分工而非戰爭（10.3 節）。

歷史啟示#

  • 工具升格為基礎的路徑：範疇論從組織工具（1945）→ 標準語言（1957–70）→ 基礎候選（1964–70）——先有用後有地位，與集合論的升格路徑（2.1 節，從三角級數習題到基礎）同構。
  • 「箭頭優先」是實在的替代哲學：不是修辭——Yoneda 引理、萬有性質、表示定理把「由互動定義」變成嚴格數學。Frege 的對象—概念二分（1.3 節）被「對象—映射」二分替代。
  • 邏輯的內建（topos）統一了 9.1 節的直覺主義與 8.3 節的宇宙多元——範疇論的基礎價值主要在把邏輯與宇宙捆綁。

與其他章節及領域的關聯#

  • 1.3 節：Frege 的對象論 vs 範疇論的映射論。
  • 5.1 節：拓撲斯的內部邏輯 = 一階直覺邏輯的廣義語義。
  • 7.1–7.2 節：有效 topos 把可計算性提升為宇宙性質。
  • 8.3 節：力迫的 topos 版本（層的力迫）——兩種「宇宙擴張」技術的統一。
  • 9.1、9.3 節：直覺主義邏輯與類型論的 topos 語義（笛卡爾封閉範疇、局部笛卡爾封閉）。
  • 10.2 節：HoTT 的模型是（∞,1)-topos——範疇論的無窮版本。
  • 計算機科學：函數式語義（域理論 = 層的特例）、資料庫的 category-theoretic 語義、分散式系統（Apache Spark 的 RDD = 函子操作）。
  • 物理：拓撲量子場論的範疇化（Atiyah 公理）、量子力學的範疇語義（Abramsky）。

練習#

  1. 在 \(\mathbf{Set}\) 中驗證： \(A \times B\) 的萬有性質唯一決定它至同構（兩個滿足萬有性質的對象之間有唯一同構）。
  2. 定義並驗證 \(\mathbf{Set}\) 中的指數對象 \(B^A\) 恢復函數集。
  3. 寫出 topos 公理（有限極限、指數、子對象分類器），並驗證 \(\mathbf{Set}\) 滿足。
  4. 在 \(\mathbf{Sh}(X)\) 中，計算「 \(\phi = \mathbb{R} \setminus \{0\}\) 」的 \(\neg\neg\phi\) ，對照 9.1 節例題 9.1.2。
  5. 思考題：「同構即相等」的範疇論原則與集合論的外延性原則，哪個更接近數學實踐？用「 \(2 + 2 = 4\) 在不同實現（序數、von Neumann、Peano）下」的例子分析。

進階研讀：三個深化場景#

場景一：Lawvere–Tierney 的拓撲斯革命（1969–71）。Lawvere 與 Tierney 發現：力迫法（8.3 節）可以在 topos 語言中統一——Sheafified 力迫、布爾值模型 = 布爾拓撲斯的特例。集合論的獨立性技術被吸收為範疇邏輯的章節——基礎研究的「勝利」常是被更大框架收編。

場景二：單價性之前的「結構集合論」。Benabou、Makkai 的纖維化範疇（fibrations）處理「同構對象不可區分」的形式化難題（範疇論自身需要「基礎」來談範疇——遞歸問題）；其解決方案直接啟發了 10.2 節的單價性公理——範疇論基礎的技術難題成為 HoTT 的發明動機。

場景三：應用範疇論的興起。Applied Category Theory（2015–）：資料庫（Spivak 的 ologs）、系統生物學、語言學（離散分配語義）、量子程式（ZX 演算）——範疇論作為「數學的介面語言」進入工程。基礎的價值再次體現為跨領域翻譯而非「最終地基」。

名詞速查表#

  • 範疇：對象 + 態射 + 合成。
  • 萬有性質：以態射的唯一性定義對象。
  • Yoneda 引理：對象由其預層決定。
  • 初等拓撲斯：有限極限 + 指數 + 子對象分類器。
  • 內部邏輯：topos 中的直覺主義高階邏輯。
  • Grothendieck 宇宙：封閉的「工作集合」類，等價於不可達基數。
  • 有效 topos：可計算性的宇宙。

年表速查#

  • 1945：Eilenberg–Mac Lane〈範疇論〉。
  • 1957：Grothendieck Tohoku 論文；宇宙概念。
  • 1963–64：Lawvere「集合論的範疇論基礎」。
  • 1969–71：Lawvere–Tierney 初等拓撲斯。
  • 1982：Hyland 有效 topos。
  • 1980s–：∞-範疇（Lurie）。
  • 2006：HoTT 的同倫詮釋（10.2 節）。

深化問答三則#

問：範疇論「沒有對象只有箭頭」的字面極端可行嗎？ 答：理論上可行（箭頭專屬範疇、以合成代數定義一切），實踐上對象語言太方便而保留。重點不是消除對象，而是使對象的性質「箭頭可表達」——這是方法論的變革，不是本體論的清空。與 MLTT 的「判斷優先」（9.3 節）異曲同工：先有操作，後有本體。

問：topos 的「多元邏輯」是相對主義嗎？ 答：不是教條相對主義，而是邏輯的局部化：「排中律在 \(X\) 的哪些區域成立」成為可計算的問題。數學的全局陳述（如「所有 topos 中 \(\phi\) 成立」）仍有絕對意義。相對性被組織進理論，而非取消真理——與 5.3 節 Skolem 相對性的處理同構。

問：範疇論基礎的最大障礙？ 答：自我基礎化問題（範疇的範疇的範疇……需 Grothendieck 宇宙或真類）與形式驗證的工程成熟度（沒有以範疇論為核的主流證明檢查器——Coq/Lean 內核是類型論）。範疇論目前是「最好的語義學、次佳的語法學」——10.2 節 HoTT 試圖改變此格局。

（本節完）