范畴的等价

在數學的一個抽象分支範疇論中，**範疇的等價**（equivalence of categories）是兩個範疇間的一個關係，在這種關係之下的範疇是「本質上一樣的」。從數學的許多地方都有範疇等價的例子。建立一個等價涉及展示所考慮的數學結構間很強的相似性。在許多情形，這些結構表面或直覺上看並無關聯，這樣就使這種概念特別有用：它提供了在不同數學結構之間翻譯的可能性，本質一語是指在翻譯中保持的定理。

如果一個範疇等價於另一個範疇的反範疇，則我們說「範疇的對偶性」，以及這兩個範疇**對偶等價**。

範疇的等價由所涉範疇的一個函子組成，這個函子要求有一個「逆」函子。但與通常代數語境的同構不同，這個函子與它的逆不必是恆等映射，二隻要每個物件自然同構與在此複合函子下的像。從而我們可以說這個函子是差一個同構下的逆。這實際上是範疇的同構的概念，其中要求逆函子的嚴格性質，但這比「等價」概念用得要少。

## 定義

正式定義為，給定兩個範疇 **C** 與 **D**，一個範疇等價包括函子 _F_ : _C_ → _D_，函子 _G_ : _D_ → _C_，以及兩個自然同構 ε: _FG_→**I**D 與 η : **I**C→_GF_。這裡 _FG_: _D_→_D_ 與 _GF_: _C_→_C_ 分別為 _F_ 與 _G_ 的複合，而 **I**C: _C_→_C_ 與 **I**D: _D_→_D_ 分別為 _C_ 與 _D_ 的恆同函子。如果 _F_ 與 _G_ 是反變函子我們則說範疇的對偶。

通常我們不指出如上所有數據。例如，我們說範疇 _C_ 與 _D_ 是等價的（對偶等價）如果它們之間存在一個等價（對偶等價）。進一步，我們說 _F_ 是一個範疇的等價如果如上逆函子 _G_ 以及自然同構存在。但要注意 _F_ 所具有的訊息不足以構造 _G_ 以及自然同構：存在許多不同的選擇（見下面的例子）。

## 等價的刻畫

可以證明函子 _F_: _C_ → _D_ 給出範疇的等價若且唯若它是：

* 完全，即給定 _C_ 的任何兩個物件 _c_1 與 _c_2，由 _F_ 給出的映射 HomC(_c_1,_c_2) → HomD(_Fc_1,_Fc_2) 是滿射。
* 忠實，即對 _C_ 的任何兩個物件 _c_1 與 _c_2，由 _F_ 給出的映射 HomC(_c_1,_c_2) → HomD(_Fc_1,_Fc_2) 是單射；
* 本質滿，即 _D_ 中每個物件 _d_ 同構與某個形如 _Fc_ 的物件。

這是一個相當有效和常用的判別法，因為不必真正構造出逆 _G_ 以及 _FG_，_G'_ 與恆同函子之間的自然同構。另一方面，儘管上面性質保證了範疇等價的存在性（假定背景集合論具有一個足夠強的選擇公理），缺少的數據沒有完全確定，通常有許多選擇。只要可能，給出缺少的構造是個好主意。正因為如此，具有這些性質的函子有時叫做**範疇的弱等價**（不幸地是這個術語與同倫論衝突）。

它與伴隨函子概念也有緊密聯繫。如下論斷對函子 _F_ : _C_ → _D_ 與 _G_ : _D_ → _C_ 等價:

* 存在從 _FG_ 到 **I**D 與從 **I**C 到 _GF_ 的自然同構，分別叫做**余單位**與**單位**。
* _F_ 是 _G_ 的一個左伴隨且兩個函子都完全且忠實。
* _F_ 是 _G_ 的一個右伴隨且兩個函子都完全且忠實。

從而我們可以將兩個函子之間的伴隨關係視為「非常弱的等價」。假設伴隨的自然變化已經給定，所有這些確保了一個明確的構造，且不需要選擇原理。關鍵性質是需要證明伴隨的余單位是同構若且唯若右伴隨是完全且忠實的函子。

## 例子

* 考慮範疇 $C$ 只有一個物件 $c$ 以及一個態射 $1_{c}$ ，以及範疇 $D$ 具有兩個物件 $d_{1}$ ， $d_{2}$ 以及四個態射：兩個恆同態射 $1_{d_{1}}$ ， $1_{d_{2}}$ 以及兩個態射 $\alpha \colon d_{1}\to d_{2}$ 與 $\beta \colon d_{2}\to d_{1}$ 。範疇 $C$ 與 $D$ 是等價的；我們可以（權為一例）構造 $F$ 將 $c$ 映為 $d_{1}$ 與 $G$ 將 $D$ 的兩個物件映為 $c$ 以及所有態射映為 $1_{c}$ 。
* 相比之下，只有一個物件與一個態射的範疇 $C$ 與具有兩個物件與兩個恆同態射從而這兩個物件不同構的範疇 $E$ 不等價。
* 考慮一個範疇 $C$ ，有一個物件 $c$ ，以及兩個態射 $1_{c},f\colon c\to c$ 。令 $1_{c}$ 為 $c$ 的恆同映射，設 $f\circ f=1$ 。當然 $C$ 等價於自己，在所有需要自然同構的地方可以取 $1_{c}$ ，便給出函子 $\mathbf {I} _{C}$ 與自己自然同構。但是 $f$ 同樣給出 $\mathbf {I} _{C}$ 到自己的一個自然同構，儘管恆同函子是一個範疇同構，在這個例子中我們仍然可以選取每個方向的自然同構。
* 考慮有限維實向量空間範疇 $C$ ，以及所有實矩陣範疇 $D=\mathrm {Mat} (\mathbf {R} )$ （後一二範疇在可加範疇中有解釋）。則 $C$ 與 $D$ 是等價的：函子 $G\colon D\to C$ 將 $D$ 中每個物件 $A_{n}$ 映為向量空間 $\mathbf {R} ^{n}$ ，而 $D$ 中矩陣到對應線性映射是完全、忠實且本質滿的。
* 代數幾何的中心論題是仿射概形與交換環的對偶性。函子 $G$ 將每個交換環映射它的譜，概形定義為此環的主理想。其伴隨 $F$ 將每個仿射概形映為它的環的整體截面。
* 在泛函分析中，有單位的交換 C\*- 代數反變等價於緊郝斯多夫空間範疇。在這個對偶下，每個緊郝斯多夫空間 $X$ 對應於 $X$ 上的連續複值函數代數，而每個交換 C\*- 代數對應於它的極大理想空間。這就是蓋爾范德表示。
* 在格理論中，有不少對偶，基於將某些格類與拓撲空間類聯繫起來的表示定理。可能最有名的這類定理是布林代數的斯通表示定理，這是一般概念斯通對偶性的特例。每個布林代數 $B$ 映為 $B$ 的超濾子集合上的一個特定的拓撲。反之，任何開閉子集上的拓撲給出一個布林代數。我們得到了布林代數（與他們的同態）範疇與斯通空間（與光滑映射）。斯通對偶性的另一種情形是伯克霍夫表示定理指出有限偏序與有限分布格之間的對偶性。
* 在無點拓撲學中，空間局部（spatial locale）範疇等價於樸素空間（sober space）的對偶。
* 任何範疇等價於其骨架。

## 性質

大概說來，一個範疇等價保持所有範疇性概念與性質。如果 _F_ : _C_ → _D_ 是一個等價，則如下論斷都成立：

* _C_ 的物件 _c_ 是一個始物件（或終物件，或零物件）若且唯若 _Fc'_ 是 _D_ 的一個始物件（或終物件，或零物件）若且唯若。
* _C_ 中態射 α 是單態射（或滿態射或同構），若且唯若 _Fα_ 是 _D_ 中單態射（或滿態射或同構）。
* 函子 _H_ : _I_ → _C_ 有極限（或餘極限）若且唯若函子 _FH_ : _I_ → _D_ 有極限（或餘極限）_Fl_。這可以用於等化子、乘積與余乘積，等等。應用於核與餘核，我們發現等價 _F_ 是一個正合函子。
* _C_ 是一個笛卡兒閉範疇（或一個拓撲斯）若且唯若 _D_ 是笛卡兒閉（或拓撲斯）。

對偶性將所有概念對換過來：它們將始物件變成終物件，單態射變成滿態射，核變成餘核，極限變成餘極限，等等。

如果 _F_ : _C_ → _D_ 是一個範疇等價，而 _G_1 與 _G_2 是兩個逆，則 _G_1 與 _G_2 是自然同構的。

如果 _F_ : _C_ → _D_ 是一個範疇等價，若 _C_ 是一個預可加範疇（或可加範疇，或阿貝爾範疇），則 _D_ 可以變成預可加範疇（或可加範疇，或阿貝爾範疇）並使 _F_ 成為可加函子。另一方面，可加範疇之間的任何等價必然可加。（注意後一個論斷對預可加範疇的等價不成立。）

一個範疇 _C_ 的**自等價**是一個等價 _F_ : _C_ → _C_。如果我們將兩個自然同構的自等價視為一樣的，則 _C_ 的自等價在複合下構成一個群。這個群抓住了 _C_ 的本質對稱。（注意：如果 _C_ 不是小範疇，則 _C_ 的自同構可能是一個真類而不是集合。)