范畴论

**範疇論**（英語：Category theory）是數學的一門學科，以抽象的方法處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化為範疇。使用範疇論可以令這些領域中許多難理解、難捉摸的數學結論更容易敘述證明。

範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。

範疇最簡單的例子之一為廣群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用於對應資料型別，而在數學物理中被用來描述向量空間。

範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至 1940 年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。

## 背景

研究範疇就是試圖以「公理化」的方法抓住在各種相關連的「數學結構」中的共同特性，並以結構間的「結構保持函數」將這些結構相關起來。因此，對範疇論系統化的研究將允許任何一個此類數學結構的普遍結論由範疇的公理中證出。

考慮下面的例子：由群組成的類 **Grp** 包含了所有具有「群結構」的物件。要證明有關群的定理，即可由此套公理進行邏輯的推導。例如，由公理中可立即證明出，群的單位元素是唯一的。

不是只專注在有特定結構的個別物件（如群）上，範疇論會著重在這些物件的態射（結構保持映射）上；經由研究這些態射，可以學到更多關於這些物件的結構。以群為例，其態射為群同態。兩個群間的群同態會嚴格地「保持群的結構」，這是個以將一個群中有關結構的訊息運到另一個群的方法，使這個群可以看做是另一個群的「過程」。因此，對群同態的研究提供了一個得以研究群的普遍特性及群公理的推論的工具。

類似的研究也出現在其他許多的數學理論中，如在拓撲學中對拓撲空間的連續映射的研究（相關範疇稱為 **Top**），及對流形的光滑函數的研究等。

### 函子

再抽象化一次，範疇自身亦為數學結構的一種，因此可以尋找在某一意義下會保持其結構的「過程」；此一過程即稱之為函子。函子將一個範疇的每個物件和另一個範疇的物件相關連起來，並將第一個範疇的每個態射和第二個範疇的態射相關連起來。

實際上，即是定義了一個「範疇和函子」的範疇，其元件為範疇，（範疇間的）態射為函子。

經由研究範疇和函子，不只是學習了一類數學結構，及在其之間的態射；還學習了「在不同類型的數學結構之間的關係」。此一基本概念首次出現於代數拓撲之中。不同的「拓撲」問題可以轉換至通常較易解答的「代數」問題之上。在拓撲空間上如基本群或基本群胚等基本的架構，可以表示成由群胚所組成的範疇之間的基本函子，而這個概念在代數及其應用之中是很普遍的。

### 自然變換

再抽象化一次，架構通常會「自然地相關連」，這個第一眼會覺得很曖昧的概念，產生了自然變換（將一個函子映射至另一函子的方法）此一清楚的概念。許多數學上的重要架構可以從此一角度來研究。

## 歷史註記

範疇、函子和自然轉換是由塞繆爾・艾倫伯格和桑德斯・麥克蘭恩在 1945 年引進的。這些概念最初出現在拓撲學，尤其是代數拓撲學里，在同態（具有幾何直觀）轉化成同調論（公理化方法）的過程中起了重要作用。烏拉姆說，在 1930 年代的後期，波蘭學派中曾出現類似的想法。

艾倫堡和麥克蘭說，他們的目的在於理解自然映射；為此，必須定義函子；為了定義函子，就自然地要引進範疇。

同調代數由於計算上的需要而使用範疇論，這對範疇論起到了推進作用；此後範疇論又在代數幾何的公理化過程中得到發展。代數幾何與羅素 - 懷特海德的關於數學統一性基礎的觀點相牴觸。廣義範疇論隨後產生，且更容納了語意靈活性和高階邏輯等多種新特徵的泛代數，現在被運用到數學的所有分支。

特殊範疇拓撲斯甚至可以代替公理集合論作為數學的基礎。然而範疇論對這些範圍廣泛的基礎應用還是有爭議的；但作為構造性數學的基礎或注釋，範疇論被研究的相當透徹。儘管如此，公理集合論至今仍然是數學家們的通用語言，並沒有被範疇論的注釋所取代。將範疇論引入大學程度的教學（在《伯克霍夫 - 麥克蘭》和《麥克蘭 - 伯克霍夫》這兩本抽象代數的教科書的區別上可以印證）還是遭到了相當的反對。

範疇邏輯是直覺邏輯中類型論的一個被明確定義的分支，在計算機學科的函數式編程和體理論中均有應用，並且都是在笛卡兒閉範疇中對 λ 演算的非句法性描述。至少，用範疇論可以精確地描述在這些相關的領域里什麼是共同的（在抽象的意義上）。

## 範疇

一個「範疇」 $C$ 是由如下 3 個數學實體所組成的：

1. 一個類 $\mathrm {ob} (C)$ ，其元素稱為「物件」；
2. 一個類 $\mathrm {hom} (C)$ ，其元素稱為「態射」或「箭號」。每個態射 $f$ 都只有一個「源物件」 $a$ 及一個「目標物件」 $b$ （其中 $a$ 和 $b$ 都在 $\mathrm {ob} (C)$ 內），稱之為「從 $a$ 至 $b$ 的態射」，標記為 $f:a\to b$ 。 
所有從 $a$ 至 $b$ 的態射所組成的類稱之為「態射類」，標記為 $\mathrm {hom} (a,b)$ 、 $\mathrm {hom} _{C}(a,b)$ 或 $\mathrm {mor} (a,b)$ 。
3. 一個二元運算，稱為「態射複合」，使得對任意三個物件 $a$ 、 $b$ 及 $c$ ，都會有 $\circ :\mathrm {hom} (b,c)\times \mathrm {hom} (a,b)\to \mathrm {hom} (a,c)$ 。兩個態射 $f:a\to b$ 及 $g:b\to c$ 的複合寫做 $g\circ f$ 或 $gf$ ，並會符合下列兩個公理：
  * 結合律：若 $f:a\to b$ 、 $g:b\to c$ 及 $h:c\to d$ ，則 $h\circ (g\circ f)=(h\circ g)\circ f$ ；
  * 單位元素：對任意物件 $x$ ，總存在一個態射 $1_{x}:x\to x$ （稱為 $x$ 的單位態射），使得對每個態射 $f:a\to b$ ，都會有 $1_{b}\circ f=f=f\circ 1_{a}$ 。

由以上公理可證得，每個物件都只存在一個單位態射。有些作者將物件本身用單位態射來定義，這在本質上是相同的。

如果物件的類確實是個集合，那麼這種範疇就被稱為 **「小範疇」** 。許多重要的範疇不是小範疇。

範疇中的態射有時又稱為 **「箭號」** ，這種叫法來自於交換圖。

### 範疇舉例

每一範疇都由其物件，態射，和複合態射來表述。為了方便起見，以下的「函數」即是指態射，不再一一說明。

* **Set** 是所有集合和它們彼此之間的全函數構成的範疇
* **Ord** 是所有預序集和其間的單調函數構成的範疇
* **Mag** 是所有廣群和其間的同態映射構成的範疇
* **Med** 是所有對換廣群和其間的同態映射構成的範疇
* **Grp** 是所有群和其間的群同態構成的範疇
* **Ab** 是所有阿貝爾群和其間的群同態構成的範疇
* **Vect**K 是所有體 $K$ （ $K$ 固定）上的向量空間和其間的 $K-$ 線性映射構成的範疇
* **Top** 是所有拓撲空間和其間的連續函數構成的範疇
* **Met** 是所有度量空間和其間的測地映射構成的範疇
* **Uni** 是所有均勻空間和其間的均勻連續函數構成的範疇
* 任何偏序集 $(P,\leq )$ 構成一個小範疇，其物件是 $P$ 的元素，其態射是從 $x$ 指向 $y$ 的箭頭，其中 $x\leq y$ 。
* 任何以單一物件 $x$ （ _$x$_ 為任意固定集合）為基礎的獨異點構成一個小範疇。獨異點的任意元素通過二元運算給出一個從 $x$ 到 $x$ 的映射，所有這些映射恰好是範疇的所有態射；範疇的複合態射也正好是獨異點的二元運算。事實上，範疇可以看成獨異點的推廣；關於獨異點的定義和定理有一些可以推廣到範疇。
* 任何有向圖對應於一個小範疇：其物件是圖的頂點，其態射是圖的路徑，其複合態射是路徑的連接。稱此範疇為有向圖的「自由範疇」。
* 設 $I$ 是個集合，「 $I$ 上的離散範疇」是一個小範疇，以 $I$ 的元素為物件，以 $I$ 的恆等映射為其唯一的態射。
* 任何範疇 $C$ 可以在另一種看法下成為一個新的範疇：它具有相同的物件，然而所有態射都是反方向的。稱此為「對偶」或者「反範疇」，記作 $C^{op}$ （ $op$ 來自英文的 opposite）。
* 設 $C$ 和 $D$ 是範疇，則它們的「直積範疇」 $C\times D$ 被定義為：其物件為取自 $C$ 的一個物件和取自 $D$ 的一個物件的有序對，其態射亦為取自 $C$ 的一個態射和取自 $D$ 的一個態射的有序對，其複合態射則由其分量分別複合。

### 態射分類

態射 $f:A\rightarrow B$ 稱為

* 單態射，如果 $fg_{1}=fg_{2}$ ，則有 $g_{1}=g_{2}$ ，此關係對所有態射 $g_{1},g_{2}:X\rightarrow A$ 成立。
* 滿態射，如果 $g_{1}f=g_{2}f$ ， 則有 $g_{1}=g_{2}$ ，此關係對所有態射 $g_{1},g_{2}:B\rightarrow X$ 成立。
* 同構，如果存在逆態射 $g:B\rightarrow A$ 使得 $fg=\mathrm {id} _{B}$ 並且 $gf=\mathrm {id} _{A}$ 。
* 自同構，如果 $f$ 是同構態射，並且有 $A=B$ 。
* 自同態，如果 $A=B$ 。

映射之間的關係（比如 $fg=h$ ）在大多數情形下可用更直觀的交換圖來表示，在此圖中物件被表示成頂點，態射被表示為箭頭。

## 函子

函子是範疇之間保持結構的映射。它們可以被看成以所有（小）範疇為成員的範疇中的態射。

一個從範疇 $C$ 到範疇 $D$ 的（協變）函子 $F$ 被定義為：

* 對 $C$ 中任意物件 $X$ ，都有一個 $D$ 中相應的物件 $F(X)$ 與其對應；
* 對 $C$ 中任意態射 $f:X\rightarrow Y$ ，都有一個 $D$ 中相應的態射 $F(f):F(X)\rightarrow F(Y)$ 與其對應；

並使下列性質成立：

* 對 $C$ 中任意的物件 $X$ ，都有 $F(\mathrm {id} _{x})=\mathrm {id} _{F(X)}$ 。
* 對 $C$ 中任意兩個態射 $f:X\rightarrow Y$ 和 $g:Y\rightarrow Z$ ，都有 $F(g\cdot f)=F(g)\cdot F(f)$ 。

一個從範疇 $C$ 到範疇 $D$ 的反變函子 $F$ 不同於函子的地方僅在於將 $D$ 中的映射箭頭倒過來。比如說 $f:X\rightarrow Y$ 是 $C$ 中任一態射，則有 $F(f):F(Y)\rightarrow F(X)$ 。定義反變函子的最簡捷的方法是作為 $C$ 的反範疇 $C^{op}$ 到 $D$ 上的函子。

有關函子的具體例子和性質請詳見函子條目。

## 自然和自然同構

詳細請見自然轉換條目。

一個「自然轉換」是兩個函子之間的一個關係。函子通常用來描述「自然構造」，而自然轉換則用來描述兩個構造之間的「自然同態」。有時候，兩個截然不同的構造具有「相同的」結果；這正可以用兩個函子之間的自然關係來表述。

### 定義

如果 $F$ 和 $G$ 是從範疇 $C$ 到範疇 $D$ 的（協變）函子，則從 $F$ 到 $G$ 的一個自然轉換對於 $C$ 中的任何物件 $X$ ，都有一個 $D$ 中相應的態射 $\eta _{X}:F(X)\rightarrow G(X)$ ，使得對 $C$ 中的任何態射 $f:X\rightarrow Y$ ，都有 $\eta _{Y}\cdot F(f)=G(f)\cdot \eta _{X}$ ；這也就是說下列圖表是可交換的：

　
:

兩個函子 $F$ 和 $G$ 稱為「自然同構」，如果存在一從 $F$ 到 $G$ 的自然轉換，使得對所有 $C$ 中的物件 $X$ ， $\eta _{X}$ 是一個同構。

### 舉例

設 $K$ 是體， $V$ 是 $K$ 上的任意向量空間，則有從向量空間到其二重對偶的一個「自然」內射型線性映射 $V\rightarrow V^{**}$ 。這些映射在以下意義上是「自然」的：二重對偶運算是一個函子，這些映射正好構成了從恆等函子到二重對偶函子的自然轉換。如果向量空間的維數是有限的，我們就得到一個自然同構；因為「有限向量空間自然同構於其二重對偶」。

考慮阿貝爾群及其同態構成的範疇 $\mathrm {Ab} $ 。對任意阿貝爾群 $X$ 、 $Y$ 和 $Z$ ，我們得到群同構

　
: $\mathrm {Mor} \left(X,\mathrm {Mor} \left(Y,Z\right)\right)\rightarrow \mathrm {Mor} \left(X\otimes Y,Z\right)$ 。

這些同構是「自然」的，因為它們定義了兩個函子間的一種自然轉換： $\mathrm {Ab} ^{op}\times \mathrm {Ab} ^{op}\times \mathrm {Ab} \rightarrow \mathrm {Ab} $ 。

## 泛結構、極限和上極限

運用範疇論的語言，許多數學研究領域都可以歸結成一些恰當的範疇，例如所有集合的範疇，所有群的範疇，所有拓撲的範疇，等等。這些範疇里的確有一些「特殊的」物件，例如空集或者兩個拓撲的直積。然而，在範疇的定義里，物件是原子性的，那就是說，我們無法知道一個物件到底是集合，是拓撲，還是其它抽象概念。有必要定義特殊物件而不涉及物件的內在結構，這是一個挑戰。那麼到底怎樣不用元素而定義空集，不用開集而定義拓撲積呢？

解決這個問題的途徑是借用物件和物件之間的關係，而這些關係由相應範疇中的態射給出。現在問題轉化為尋找泛性質，這些泛性質可以唯一地決定我們所感興趣的物件。事實上，為數眾多的重要結構都可用純範疇論的方法來描述。在定義泛性質時，我們要用到一個非常關鍵的概念：範疇性「極限」和其「上極限」。

## 等價範疇

人們很自然地要問，在什麼樣的情形下，兩個範疇「在本質上是相同」的，換一句話來說，對其中一個範疇成立的定理，可以既定地轉換成另一個範疇的定理。用來描述這種情形的主要方法是「範疇的等價性」，由函子給出。範疇的等價性在數學中有很多的應用。

## 進一步的概念和結果

範疇和函子的定義只是範疇代數中最基本的部分。除此之外的重要部分如下列所述。基本上是以閱讀順序排列，儘管它們彼此之間有著內在的聯繫。

* 函子範疇 $D^{C}$ 以從 $C$ 到 $D$ 的函子為物件，以這些函子間的自然映射為泛射。米田引理刻劃了函子範疇中可表示的函子，是範疇論最著名的基本結果之一。
* 對偶原則：範疇論中，每一陳述，定理，或定義都有其「對偶」，實質上可以通過「反轉所有箭頭」來得到。如果一個陳述在範疇 $C$ 中成立，那麼它的對偶將在其對偶範疇 $C^{op}$ 中成立。這一對偶性在範疇論的任何層次都是普適的，由於它經常不是很清晰，對偶性的應用可以揭示驚人的關聯性。
* 伴隨函子：兩個映射方向相反的函子對稱為伴隨函子，隨著結合的順序不同，分別為左伴隨和右伴隨。通常來自於由泛性質所定義的結構；也可以作為泛性質的一種更加抽象和更加強有力的看法。

## 範疇分類

* 在許多範疇中，態射集合 $\mathrm {Mor} (A,B)$ 不僅僅是集合，實際上是阿貝爾群，態射的複合具有群結構，也就是說是雙線性的。這種範疇被稱為預加性的。如果這種範疇還具有所有有限的積和上積，則稱為加性範疇。如果所有具有一個核和一個上核，那麼所有滿射都是上核，所有單射都是核，我們稱此為阿貝爾範疇。阿貝爾範疇的一個典型的例子是阿貝爾群所組成的範疇。
* 一個範疇被稱為是完備的，如果所有極限存在。集合，阿貝爾群和拓撲空間的範疇是完備的。
* 一個範疇被稱為是笛卡兒閉性的，如果它具有有限直積，並且一個定義在有限乘積上的態射總是可以表示成定義在其中一個因子上的態射。
* 一個拓撲斯是一種特殊的笛卡兒閉範疇，在其中可表述（公理化）所有的數學結構（就象傳統上使用集合論可以表示所有數學結構）。一個拓撲斯也可以用來表述一個邏輯理論。
* 一個群胚是這樣一種範疇，其中每一個映射都是一個同構。群胚是群、群作用和等價關係的推廣。

## 注釋

## 參考資料

### 引用

### 來源

* Adámek, Jiří; Herrlich, Horst; Strecker, George E. Abstract and Concrete Categories. Heldermann Verlag Berlin. 2004 [2022-10-09]. （原始內容存檔於 2021-02-24）.
* Barr, Michael; Wells, Charles, Category Theory for Computing Science, Reprints in Theory and Applications of Categories **22** 3rd, 2012 [1995] [2022-10-09], （原始內容存檔於 2015-01-15） .
* Barr, Michael; Wells, Charles, Toposes, Triples and Theories, Reprints in Theory and Applications of Categories **12**, 2005 [2022-10-09], MR 2178101, （原始內容存檔於 2018-02-07） .
* Borceux, Francis. Handbook of categorical algebra. Encyclopedia of Mathematics and its Applications. Cambridge University Press. 1994: 50–52. ISBN 9780521441780.
* Freyd, Peter J. Abelian Categories. Reprints in Theory and Applications of Categories **3**. 2003 [1964] [2022-10-09]. （原始內容存檔於 2021-02-25）.
* Freyd, Peter J.; Scedrov, Andre. Categories, allegories. North Holland Mathematical Library **39**. North Holland. 1990. ISBN 978-0-08-088701-2.
* Goldblatt, Robert. Topoi: The Categorial Analysis of Logic. Studies in logic and the foundations of mathematics **94**. Dover. 2006 [1979]. ISBN 978-0-486-45026-1.
* Herrlich, Horst; Strecker, George E. Category Theory 3rd. Heldermann Verlag Berlin. 2007. ISBN 978-3-88538-001-6. .
* Kashiwara, Masaki; Schapira, Pierre. Categories and Sheaves. Grundlehren der Mathematischen Wissenschaften **332**. Springer. 2006 [2022-10-09]. ISBN978-3-540-27949-5. （原始內容存檔於 2022-10-27）.
* Lawvere, F. William; Rosebrugh, Robert. Sets for Mathematics. Cambridge University Press. 2003. ISBN 978-0-521-01060-3.  含有內容需登入查看的頁面 (link)
* Lawvere, F. William; Schanuel, Stephen Hoel. Conceptual Mathematics: A First Introduction to Categories 2nd. Cambridge University Press. 2009 [1997]. ISBN 978-0-521-89485-2.  含有內容需登入查看的頁面 (link)
* Leinster, Tom. Higher Operads, Higher Categories. London Math. Society Lecture Note Series **298**. Cambridge University Press. 2004: 448 [2006-04-03]. Bibcode:2004hohc.book.....L. ISBN978-0-521-53215-0. （原始內容存檔於 2003-10-25）.
* Leinster, Tom. Basic Category Theory. Cambridge Studies in Advanced Mathematics **143**. Cambridge University Press. 2014 [2022-10-09]. ISBN 9781107044241. arXiv:1612.09375 . （原始內容存檔於 2022-10-27）.
* Lurie, Jacob. Higher Topos Theory. Annals of Mathematics Studies **170**. Princeton University Press. 2009. ISBN 978-0-691-14049-0. MR 2522659. arXiv:math.CT/0608040 .
* Mac Lane, Saunders. Categories for the Working Mathematician. Graduate Texts in Mathematics **5** 2nd. Springer-Verlag. 1998. ISBN 978-0-387-98403-2. MR 1712872.
* Mac Lane, Saunders; Birkhoff, Garrett. Algebra 2nd. Chelsea. 1999 [1967]. ISBN 978-0-8218-1646-2.
* Martini, A.; Ehrig, H.; Nunes, D. Elements of basic category theory. Technical Report. 1996, **96** (5) [2022-10-09]. （原始內容存檔於 2008-06-24）.
* May, Peter. A Concise Course in Algebraic Topology. University of Chicago Press. 1999. ISBN 978-0-226-51183-2.
* Mazzola, Guerino. The Topos of Music, Geometric Logic of Concepts, Theory, and Performance. Birkhäuser. 2002. ISBN 978-3-7643-5731-3.
* Pedicchio, Maria Cristina; Tholen, Walter (編). Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Encyclopedia of Mathematics and Its Applications **97**. Cambridge University Press. 2004. ISBN 978-0-521-83414-8. Zbl 1034.18001.
* Pierce, Benjamin C. Basic Category Theory for Computer Scientists. MIT Press. 1991. ISBN 978-0-262-66071-6.
* Schalk, A.; Simmons, H. An introduction to Category Theory in four easy movements (PDF). 2005 [2007-12-03]. （原始內容 (PDF) 存檔於 2017-03-21）.  Notes for a course offered as part of the MSc. in Mathematical Logic, Manchester University.
* Simpson, Carlos. Homotopy theory of higher categories. 2010. Bibcode:2010arXiv1001.4071S. arXiv:1001.4071 . , draft of a book.
* Taylor, Paul. Practical Foundations of Mathematics. Cambridge Studies in Advanced Mathematics **59**. Cambridge University Press. 1999. ISBN 978-0-521-63107-5.
* Turi, Daniele. Category Theory Lecture Notes (PDF). 1996–2001 [11 December 2009]. （原始內容存檔 (PDF) 於 2022-02-21）.  Based on Mac Lane 1998.

## 延伸閱讀

## 外部連結

* "Category Theory" in _Stanford Encyclopedia of Philosophy_ （頁面存檔備份，存於網際網路檔案館）
* Homepage of the Categories mailing list，具有詳盡的參考資料列表
* _Category Theory_ section of Alexandre Stefanov's list of free online mathematics resources