查看“︁范畴的等价”︁的源代码

{{NoteTA
| G1=Math
}}
在数学的一个抽象分支[[范畴论]]中，'''范畴的等价'''（{{lang|en|equivalence of categories}}）是两个范畴间的一个关系，在这种关系之下的范畴是“本质上一样的”。从数学的许多地方都有范畴等价的例子。建立一个等价涉及展示所考虑的数学结构间很强的相似性。在许多情形，这些结构表面或直觉上看并无关联，这样就使这种概念特别有用：它提供了在不同数学结构之间翻译的可能性，本质一语是指在翻译中保持的定理。

如果一个范畴等价于另一个范畴的[[对偶 (范畴论)|反范畴]]，则我们说“范畴的对偶性”，以及这两个范畴'''对偶等价'''。

范畴的等价由所涉范畴的一个函子组成，这个函子要求有一个“逆”函子。但与通常代数语境的[[同构]]不同，这个函子与它的逆不必是恒等映射，二只要每个对象[[自然同构]]与在此复合函子下的像。从而我们可以说这个函子是差一个同构下的逆。这实际上是[[范畴的同构]]的概念，其中要求逆函子的严格性质，但这比“等价”概念用得要少。

==定义==
正式定义为，给定两个范畴 '''C''' 与 '''D'''，一个范畴等价包括函子 ''F'' : ''C'' → ''D''，函子 ''G'' : ''D'' → ''C''，以及两个自然同构 ε: ''FG''→'''I'''<sub>''D''</sub> 与 η : '''I'''<sub>''C''</sub>→''GF''。这里 ''FG'': ''D''→''D'' 与 ''GF'': ''C''→''C'' 分别为 ''F'' 与 ''G'' 的复合，而 '''I'''<sub>''C''</sub>: ''C''→''C'' 与 '''I'''<sub>''D''</sub>: ''D''→''D'' 分别为 ''C'' 与 ''D'' 的恒同函子。如果 ''F'' 与 ''G'' 是反变函子我们则说范畴的对偶。

通常我们不指出如上所有数据。例如，我们说范畴 ''C'' 与 ''D'' 是等价的（对偶等价）如果它们之间存在一个等价（对偶等价）。进一步，我们说 ''F'' 是一个范畴的等价如果如上逆函子 ''G'' 以及自然同构存在。但要注意 ''F'' 所具有的信息不足以构造 ''G'' 以及自然同构：存在许多不同的选择（见下面的例子）。

==等价的刻画==
可以证明函子 ''F'': ''C'' → ''D'' 给出范畴的等价当且仅当它是：
* [[完全函子|完全]]，即给定 ''C'' 的任何两个对象 ''c''<sub>1</sub> 与 ''c''<sub>2</sub>，由 ''F'' 给出的映射 Hom<sub>''C''</sub>(''c''<sub>1</sub>,''c''<sub>2</sub>) → Hom<sub>''D''</sub>(''Fc''<sub>1</sub>,''Fc''<sub>2</sub>) 是[[满射]]。
* [[忠实函子|忠实]]，即对 ''C'' 的任何两个对象 ''c''<sub>1</sub> 与 ''c''<sub>2</sub>，由 ''F'' 给出的映射 Hom<sub>''C''</sub>(''c''<sub>1</sub>,''c''<sub>2</sub>) → Hom<sub>''D''</sub>(''Fc''<sub>1</sub>,''Fc''<sub>2</sub>) 是[[单射]]；
* [[本质满函子|本质满]]，即 ''D'' 中每个对象 ''d'' 同构与某个形如 ''Fc'' 的对象。

这是一个相当有效和常用的判别法，因为不必真正构造出逆 ''G'' 以及 ''FG''，''G''' 与恒同函子之间的自然同构。另一方面，尽管上面性质保证了范畴等价的存在性（假定背景集合论具有一个足够强的[[选择公理]]），缺少的数据没有完全确定，通常有许多选择。只要可能，给出缺少的构造是个好主意。正因为如此，具有这些性质的函子有时叫做'''范畴的弱等价'''（不幸地是这个术语与同伦论冲突）。

它与[[伴随函子]]概念也有紧密联系。如下论断对函子 ''F'' : ''C'' → ''D'' 与 ''G'' : ''D'' → ''C'' 等价:

* 存在从 ''FG'' 到 '''I'''<sub>''D''</sub> 与从 '''I'''<sub>''C''</sub> 到 ''GF'' 的自然同构，分别叫做'''余单位'''与'''单位'''。
* ''F'' 是 ''G'' 的一个左伴随且两个函子都完全且忠实。
* ''F'' 是 ''G'' 的一个右伴随且两个函子都完全且忠实。

从而我们可以将两个函子之间的伴随关系视为“非常弱的等价”。假设伴随的自然变化已经给定，所有这些确保了一个明确的构造，且不需要选择原理。关键性质是需要证明伴随的余单位是同构当且仅当右伴随是完全且忠实的函子。

==例子==
* 考虑范畴 <math>C</math> 只有一个对象 <math>c</math> 以及一个态射 <math>1_{c}</math>，以及范畴 <math>D</math> 具有两个对象 <math>d_{1}</math>，<math>d_{2}</math> 以及四个态射：两个恒同态射 <math>1_{d_{1}}</math>，<math>1_{d_{2}}</math> 以及两个态射 <math>\alpha \colon d_{1} \to d_{2}</math> 与 <math>\beta \colon d_{2} \to d_{1}</math>。范畴 <math>C</math> 与 <math>D</math> 是等价的；我们可以（权为一例）构造 <math>F</math> 将 <math>c</math> 映为 <math>d_{1}</math> 与 <math>G</math> 将 <math>D</math> 的两个对象映为 <math>c</math> 以及所有态射映为 <math>1_{c}</math>。

* 相比之下，只有一个对象与一个态射的范畴 <math>C</math> 与具有两个对象与两个恒同态射从而这两个对象不同构的范畴 <math>E</math> 不等价。

* 考虑一个范畴 <math>C</math>，有一个对象 <math>c</math>，以及两个态射 <math>1_{c}, f \colon c \to c</math>。令 <math>1_{c}</math> 为 <math>c</math> 的恒同映射，设 <math>f \circ f = 1</math>。当然 <math>C</math> 等价于自己，在所有需要自然同构的地方可以取 <math>1_{c}</math>，便给出函子 <math>\mathbf{I}_{C}</math> 与自己自然同构。但是 <math>f</math> 同样给出 <math>\mathbf{I}_{C}</math> 到自己的一个自然同构，尽管恒同函子是一个范畴同构，在这个例子中我们仍然可以选取每个方向的自然同构。

* 考虑有限[[向量空间的维数|维]][[实数|实]][[向量空间]]范畴 <math>C</math>，以及所有实[[矩阵]]范畴 <math>D = \mathrm{Mat}(\mathbf{R})</math>（后一二范畴在[[可加范畴]]中有解释）。则 <math>C</math> 与 <math>D</math> 是等价的：函子 <math>G \colon D \to C</math> 将 <math>D</math> 中每个对象 <math>A_{n}</math> 映为向量空间 <math>\mathbf{R}^{n}</math>，而 <math>D</math> 中矩阵到对应线性映射是完全、忠实且本质满的。

* [[代数几何]]的中心论题是[[仿射概形]]与[[交换环]]的对偶性。函子 <math>G</math> 将每个交换环映射它的[[环的谱|谱]]，概形定义为此环的[[主理想]]。其伴随 <math>F</math> 将每个仿射概形映为它的环的整体截面。

* 在[[泛函分析]]中，有单位的交换[[C*-代数]]反变等价于[[紧空间|紧]][[豪斯多夫空间]]范畴。在这个对偶下，每个紧豪斯多夫空间 <math>X</math> 对应于 <math>X</math> 上的连续复值函数代数，而每个交换 C*-代数对应于它的[[极大理想]]空间。这就是[[盖尔范德表示]]。

* 在[[格理论]]中，有不少对偶，基于将某些格类与[[拓扑空间]]类联系起来的表示定理。可能最有名的这类定理是[[布尔代数的斯通表示定理]]，这是一般概念[[斯通对偶性]]的特例。每个[[布尔代数]] <math>B</math> 映为 <math>B</math> 的[[超滤子]]集合上的一个特定的拓扑。反之，任何开闭子集上的拓扑给出一个布尔代数。我们得到了布尔代数（与他们的同态）范畴与斯通空间（与光滑映射）。斯通对偶性的另一种情形是[[伯克霍夫表示定理]]指出有限偏序与有限分布格之间的对偶性。

* 在[[无点拓扑学]]中，空间局部（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''<sub>1</sub> 与 ''G''<sub>2</sub> 是两个逆，则 ''G''<sub>1</sub> 与 ''G''<sub>2</sub> 是自然同构的。

如果 ''F'' : ''C'' → ''D'' 是一个范畴等价，若 ''C'' 是一个[[预可加范畴]]（或[[可加范畴]]，或[[阿贝尔范畴]]），则 ''D'' 可以变成[[预可加范畴]]（或[[可加范畴]]，或[[阿贝尔范畴]]）并使 ''F'' 成为[[可加函子]]。另一方面，可加范畴之间的任何等价必然可加。（注意后一个论断对预可加范畴的等价不成立。）

一个范畴 ''C'' 的'''自等价'''是一个等价 ''F'' : ''C'' → ''C''。如果我们将两个自然同构的自等价视为一样的，则 ''C'' 的自等价在复合下构成一个[[群]]。这个群抓住了 ''C'' 的本质对称。（注意：如果 ''C'' 不是小范畴，则 ''C'' 的自同构可能是一个真[[类 (数学)|类]]而不是[[集合 (数学)|集合]]。)

[[Category:伴随函子]]
[[Category:范畴论]]