范畴论

研究范畴就是试图以“公理化”的方法抓住在各种相关连的“数学结构”中的共同特性，并以结构间的“结构保持函数”将这些结构相关起来。因此，对范畴论系统化的研究将允许任何一个此类数学结构的普遍结论由范畴的公理中证出。

考虑下面的例子：由群组成的类Grp 包含了所有具有“群结构”的对象。要证明有关群的定理，即可由此套公理进行逻辑的推导。例如，由公理中可立即证明出，群的单位元是唯一的。

不是只专注在有特定结构的个别对象（如群）上，范畴论会着重在这些对象的态射（结构保持映射）上；经由研究这些态射，可以学到更多关于这些对象的结构。以群为例，其态射为群同态。两个群间的群同态会严格地“保持群的结构”，这是个以将一个群中有关结构的信息运到另一个群的方法，使这个群可以看做是另一个群的“过程”。因此，对群同态的研究提供了一个得以研究群的普遍特性及群公理的推论的工具。

类似的研究也出现在其他许多的数学理论中，如在拓扑学中对拓扑空间的连续映射的研究（相关范畴称为Top），及对流形的光滑函数的研究等。

函子

再抽象化一次，范畴自身亦为数学结构的一种，因此可以寻找在某一意义下会保持其结构的“过程”；此一过程即称之为函子。函子将一个范畴的每个对象和另一个范畴的对象相关连起来，并将第一个范畴的每个态射和第二个范畴的态射相关连起来。

实际上，即是定义了一个“范畴和函子”的范畴，其元件为范畴，（范畴间的）态射为函子。

经由研究范畴和函子，不只是学习了一类数学结构，及在其之间的态射；还学习了“在不同类型的数学结构之间的关系”。此一基本概念首次出现于代数拓扑之中。不同的“拓扑”问题可以变换至通常较易解答的“代数”问题之上。在拓扑空间上如基本群或基本群胚等基本的架构，可以表示成由群胚所组成的范畴之间的基本函子，而这个概念在代数及其应用之中是很普遍的。

自然变换

再抽象化一次，架构通常会“自然地相关连”，这个第一眼会觉得很暧昧的概念，产生了自然变换（将一个函子映射至另一函子的方法）此一清楚的概念。许多数学上的重要架构可以从此一角度来研究。

范畴、函子和自然变换是由塞缪尔·艾伦伯格和桑德斯·麦克兰恩在1945年引进的。这些概念最初出现在拓扑学，尤其是代数拓扑学里，在同态（具有几何直观）转化成同调论（公理化方法）的过程中起了重要作用。乌拉姆说，在1930年代的后期，波兰学派中曾出现类似的想法。

艾伦堡和麦克兰说，他们的目的在于理解自然映射；为此，必须定义函子；为了定义函子，就自然地要引进范畴。

同调代数由于计算上的需要而使用范畴论，这对范畴论起到了推进作用；此后范畴论又在代数几何的公理化过程中得到发展。代数几何与罗素-怀特海德的关于数学统一性基础的观点相抵触。广义范畴论随后产生，且更容纳了语意灵活性和高阶逻辑等多种新特征的泛代数，现在被运用到数学的所有分支。

特殊范畴拓扑斯甚至可以代替公理集合论作为数学的基础。然而范畴论对这些范围广泛的基础应用还是有争议的；但作为构造性数学的基础或注释，范畴论被研究的相当透彻。尽管如此，公理集合论至今仍然是数学家们的通用语言，并没有被范畴论的注释所取代。将范畴论引入大学程度的教学（在《伯克霍夫-麦克兰》和《麦克兰-伯克霍夫》这两本抽象代数的教科书的区别上可以印证）还是遭到了相当的反对。

范畴逻辑是直觉逻辑中类型论的一个被明确定义的分支，在计算机学科的函数式编程和域理论中均有应用，并且都是在笛卡尔闭范畴中对λ演算的非句法性描述。至少，用范畴论可以精确地描述在这些相关的领域里什么是共同的（在抽象的意义上）。

一个“范畴” ${\displaystyle C}$  是由如下3个数学实域所组成的：

1. 一个类 ${\displaystyle \mathrm {ob} (C)}$ ，其元素称为“对象”；
2. 一个类 ${\displaystyle \mathrm {hom} (C)}$ ，其元素称为“态射”或“箭号”。每个态射 ${\displaystyle f}$  都只有一个“源对象” ${\displaystyle a}$  及一个“目标对象” ${\displaystyle b}$ （其中 ${\displaystyle a}$  和 ${\displaystyle b}$  都在 ${\displaystyle \mathrm {ob} (C)}$  内），称之为“从 ${\displaystyle a}$  至 ${\displaystyle b}$  的态射”，标记为 ${\displaystyle f:a\to b}$ 。
   所有从 ${\displaystyle a}$  至 ${\displaystyle b}$  的态射所组成的类称之为“态射类”，标记为 ${\displaystyle \mathrm {hom} (a,b)}$ 、 ${\displaystyle \mathrm {hom} _{C}(a,b)}$ 或 ${\displaystyle \mathrm {mor} (a,b)}$ 。
3. 一个二元运算，称为“态射复合”，使得对任意三个对象 ${\displaystyle a}$ 、 ${\displaystyle b}$  及 ${\displaystyle c}$ ，都会有 ${\displaystyle \circ :\mathrm {hom} (b,c)\times \mathrm {hom} (a,b)\to \mathrm {hom} (a,c)}$ 。两个态射 ${\displaystyle f:a\to b}$  及 ${\displaystyle g:b\to c}$  的复合写做 ${\displaystyle g\circ f}$  或 ${\displaystyle gf}$ ^{[注 1]}，并会符合下列两个公理：
   • 结合律：若 ${\displaystyle f:a\to b}$ 、 ${\displaystyle g:b\to c}$ 及 ${\displaystyle h:c\to d}$ ，则 ${\displaystyle h\circ (g\circ f)=(h\circ g)\circ f}$ ；
   • 单位元：对任意对象 ${\displaystyle x}$ ，总存在一个态射 ${\displaystyle 1_{x}:x\to x}$ （称为 ${\displaystyle x}$  的单位态射），使得对每个态射 ${\displaystyle f:a\to b}$ ，都会有 ${\displaystyle 1_{b}\circ f=f=f\circ 1_{a}}$ 。

由以上公理可证得，每个对象都只存在一个单位态射。有些作者将对象本身用单位态射来定义，这在本质上是相同的。

如果对象的类确实是个集合，那么这种范畴就被称为“小范畴”。许多重要的范畴不是小范畴。

范畴中的态射有时又称为“箭号”，这种叫法来自于交换图。

范畴举例

每一范畴都由其对象，态射，和复合态射来表述。为了方便起见，以下的“函数”即是指态射，不再一一说明。

• Set 是所有集合和它们彼此之间的全函数构成的范畴
• Ord 是所有预序集和其间的单调函数构成的范畴
• Mag 是所有广群和其间的同态映射构成的范畴
• Med 是所有对换广群和其间的同态映射构成的范畴
• Grp 是所有群和其间的群同态构成的范畴
• Ab 是所有阿贝尔群和其间的群同态构成的范畴
• Vect_K 是所有域 ${\displaystyle K}$ （${\displaystyle K}$ 固定）上的向量空间和其间的${\displaystyle K-}$ 线性映射构成的范畴
• Top 是所有拓扑空间和其间的连续函数构成的范畴
• Met 是所有度量空间和其间的测地映射构成的范畴
• Uni 是所有一致空间和其间的一致连续函数构成的范畴
• 任何偏序集${\displaystyle (P,\leq )}$ 构成一个小范畴，其对象是${\displaystyle P}$ 的元素，其态射是从${\displaystyle x}$ 指向${\displaystyle y}$ 的箭头，其中${\displaystyle x\leq y}$ 。
• 任何以单一对象${\displaystyle x}$ （${\displaystyle x}$ 为任意固定集合）为基础的独异点构成一个小范畴。独异点的任意元素通过二元运算给出一个从${\displaystyle x}$ 到${\displaystyle x}$ 的映射，所有这些映射恰好是范畴的所有态射；范畴的复合态射也正好是独异点的二元运算。事实上，范畴可以看成独异点的推广；关于独异点的定义和定理有一些可以推广到范畴。
• 任何有向图对应于一个小范畴：其对象是图的顶点，其态射是图的路径，其复合态射是路径的连接。称此范畴为有向图的“自由范畴”。
• 设${\displaystyle I}$ 是个集合，“${\displaystyle I}$ 上的离散范畴”是一个小范畴，以${\displaystyle I}$ 的元素为对象，以${\displaystyle I}$ 的恒等映射为其唯一的态射。
• 任何范畴${\displaystyle C}$ 可以在另一种看法下成为一个新的范畴：它具有相同的对象，然而所有态射都是反方向的。称此为“对偶”或者“反范畴”，记作 ${\displaystyle C^{op}}$ （${\displaystyle op}$ 来自英文的 opposite）。
• 设${\displaystyle C}$ 和${\displaystyle D}$ 是范畴，则它们的“直积范畴”${\displaystyle C\times D}$  被定义为：其对象为取自${\displaystyle C}$ 的一个对象和取自${\displaystyle D}$ 的一个对象的有序对，其态射亦为取自${\displaystyle C}$ 的一个态射和取自${\displaystyle D}$ 的一个态射的有序对，其复合态射则由其分量分别复合。

态射分类

态射 ${\displaystyle f:A\rightarrow B}$ 称为

• 单态射，如果 ${\displaystyle fg_{1}=fg_{2}}$ ，则有${\displaystyle g_{1}=g_{2}}$ ，此关系对所有态射${\displaystyle g_{1},g_{2}:X\rightarrow A}$ 成立。
• 满态射，如果${\displaystyle g_{1}f=g_{2}f}$ ， 则有${\displaystyle g_{1}=g_{2}}$ ，此关系对所有态射${\displaystyle g_{1},g_{2}:B\rightarrow X}$ 成立。
• 同构，如果存在逆态射${\displaystyle g:B\rightarrow A}$ 使得${\displaystyle fg=\mathrm {id} _{B}}$ 并且${\displaystyle gf=\mathrm {id} _{A}}$ 。
• 自同构，如果${\displaystyle f}$ 是同构态射，并且有${\displaystyle A=B}$ 。
• 自同态，如果${\displaystyle A=B}$ 。

映射之间的关系（比如${\displaystyle fg=h}$ ）在大多数情形下可用更直观的交换图来表示，在此图中对象被表示成顶点，态射被表示为箭头。

函子是范畴之间保持结构的映射。它们可以被看成以所有（小）范畴为成员的范畴中的态射。

一个从范畴${\displaystyle C}$ 到范畴${\displaystyle D}$ 的（协变）函子${\displaystyle F}$ 被定义为：

• 对${\displaystyle C}$ 中任意对象${\displaystyle X}$ ，都有一个${\displaystyle D}$ 中相应的对象${\displaystyle F(X)}$ 与其对应；
• 对${\displaystyle C}$ 中任意态射 ${\displaystyle f:X\rightarrow Y}$ ，都有一个${\displaystyle D}$ 中相应的态射${\displaystyle F(f):F(X)\rightarrow F(Y)}$ 与其对应；

并使下列性质成立：

• 对${\displaystyle C}$ 中任意的对象${\displaystyle X}$ ，都有${\displaystyle F(\mathrm {id} _{x})=\mathrm {id} _{F(X)}}$ 。
• 对${\displaystyle C}$ 中任意两个态射${\displaystyle f:X\rightarrow Y}$ 和${\displaystyle g:Y\rightarrow Z}$ ，都有 ${\displaystyle F(g\cdot f)=F(g)\cdot F(f)}$ 。

一个从范畴${\displaystyle C}$ 到范畴${\displaystyle D}$ 的反变函子${\displaystyle F}$ 不同于函子的地方仅在于将${\displaystyle D}$ 中的映射箭头倒过来。比如说${\displaystyle f:X\rightarrow Y}$ 是${\displaystyle C}$ 中任一态射，则有${\displaystyle F(f):F(Y)\rightarrow F(X)}$ 。定义反变函子的最简捷的方法是作为${\displaystyle C}$ 的反范畴${\displaystyle C^{op}}$ 到${\displaystyle D}$ 上的函子。

有关函子的具体例子和性质请详见函子条目。

详细请见自然变换条目。

一个“自然变换”是两个函子之间的一个关系。函子通常用来描述“自然构造”，而自然变换则用来描述两个构造之间的“自然同态”。有时候，两个截然不同的构造具有“相同的”结果；这正可以用两个函子之间的自然关系来表述。

定义

如果${\displaystyle F}$ 和${\displaystyle G}$ 是从范畴${\displaystyle C}$ 到范畴${\displaystyle D}$ 的（协变）函子，则从${\displaystyle F}$ 到${\displaystyle G}$ 的一个自然变换对于${\displaystyle C}$ 中的任何对象${\displaystyle X}$ ，都有一个${\displaystyle D}$ 中相应的态射${\displaystyle \eta _{X}:F(X)\rightarrow G(X)}$ ，使得对${\displaystyle C}$ 中的任何态射${\displaystyle f:X\rightarrow Y}$ ，都有${\displaystyle \eta _{Y}\cdot F(f)=G(f)\cdot \eta _{X}}$ ；这也就是说下列图表是可交换的：

两个函子${\displaystyle F}$ 和${\displaystyle G}$ 称为“自然同构”，如果存在一从${\displaystyle F}$ 到${\displaystyle G}$ 的自然变换，使得对所有${\displaystyle C}$ 中的对象${\displaystyle X}$ ，${\displaystyle \eta _{X}}$ 是一个同构。

举例

设${\displaystyle K}$ 是域，${\displaystyle V}$ 是${\displaystyle K}$ 上的任意向量空间，则有从向量空间到其二重对偶的一个“自然”内射型线性映射${\displaystyle V\rightarrow V^{**}}$  。这些映射在以下意义上是“自然”的：二重对偶运算是一个函子，这些映射正好构成了从恒等函子到二重对偶函子的自然变换。如果向量空间的维数是有限的，我们就得到一个自然同构；因为“有限向量空间自然同构于其二重对偶”。

考虑阿贝尔群及其同态构成的范畴${\displaystyle \mathrm {Ab} }$ 。对任意阿贝尔群${\displaystyle X}$ 、${\displaystyle Y}$ 和${\displaystyle Z}$ ，我们得到群同构

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

这些同构是“自然”的，因为它们定义了两个函子间的一种自然变换：${\displaystyle \mathrm {Ab} ^{op}\times \mathrm {Ab} ^{op}\times \mathrm {Ab} \rightarrow \mathrm {Ab} }$ 。

运用范畴论的语言，许多数学研究领域都可以归结成一些恰当的范畴，例如所有集合的范畴，所有群的范畴，所有拓扑的范畴，等等。这些范畴里的确有一些“特殊的”对象，例如空集或者两个拓扑的直积。然而，在范畴的定义里，对象是原子性的，那就是说，我们无法知道一个对象到底是集合，是拓扑，还是其它抽象概念。有必要定义特殊对象而不涉及对象的内在结构，这是一个挑战。那么到底怎样不用元素而定义空集，不用开集而定义拓扑积呢？

解决这个问题的途径是借用对象和对象之间的关系，而这些关系由相应范畴中的态射给出。现在问题转化为寻找泛性质，这些泛性质可以唯一地决定我们所感兴趣的对象。事实上，为数众多的重要结构都可用纯范畴论的方法来描述。在定义泛性质时，我们要用到一个非常关键的概念：范畴性“极限”和其“上极限”。

人们很自然地要问，在什么样的情形下，两个范畴“在本质上是相同”的，换一句话来说，对其中一个范畴成立的定理，可以既定地转换成另一个范畴的定理。用来描述这种情形的主要方法是“范畴的等价性”，由函子给出。范畴的等价性在数学中有很多的应用。

范畴和函子的定义只是范畴代数中最基本的部分。除此之外的重要部分如下列所述。基本上是以阅读顺序排列，尽管它们彼此之间有着内在的联系。

• 函子范畴 ${\displaystyle D^{C}}$ 以从${\displaystyle C}$ 到${\displaystyle D}$ 的函子为对象，以这些函子间的自然映射为泛射。米田引理刻划了函子范畴中可表示的函子，是范畴论最著名的基本结果之一。
• 对偶原则：范畴论中，每一陈述，定理，或定义都有其“对偶”，实质上可以通过“反转所有箭头”来得到。如果一个陈述在范畴${\displaystyle C}$ 中成立，那么它的对偶将在其对偶范畴${\displaystyle C^{op}}$ 中成立。这一对偶性在范畴论的任何层次都是普适的，由于它经常不是很清晰，对偶性的应用可以揭示惊人的关联性。
• 伴随函子：两个映射方向相反的函子对称为伴随函子，随着结合的顺序不同，分别为左伴随和右伴随。通常来自于由泛性质所定义的结构；也可以作为泛性质的一种更加抽象和更加强有力的看法。

• 在许多范畴中，态射集合${\displaystyle \mathrm {Mor} (A,B)}$ 不仅仅是集合，实际上是阿贝尔群，态射的复合具有群结构，也就是说是双线性的。这种范畴被称为预加性的。如果这种范畴还具有所有有限的积和上积，则称为加性范畴。如果所有具有一个核和一个上核，那么所有满射都是上核，所有单射都是核，我们称此为阿贝尔范畴。阿贝尔范畴的一个典型的例子是阿贝尔群所组成的范畴。
• 一个范畴被称为是完备的，如果所有极限存在。集合，阿贝尔群和拓扑空间的范畴是完备的。
• 一个范畴被称为是笛卡儿闭性的，如果它具有有限直积，并且一个定义在有限乘积上的态射总是可以表示成定义在其中一个因子上的态射。
• 一个拓扑斯是一种特殊的笛卡儿闭范畴，在其中可表述（公理化）所有的数学结构（就象传统上使用集合论可以表示所有数学结构）。一个拓扑斯也可以用来表述一个逻辑理论。
• 一个群胚是这样一种范畴，其中每一个映射都是一个同构。群胚是群、群作用和等价关系的推广。

1. ^ 有些作者会以不同的次序做复合，将g ∘ f 写做fg 或f ∘ g。研究计算机科学的学者在使用范畴论时经常将 ${\displaystyle g\circ f}$  写做 ${\displaystyle f;g}$ 。

引用

来源

• 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]. ISBN 978-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. ISBN 978-0-521-53215-0. （原始内容存档于2003-10-25）.  |journal=被忽略 (帮助)
• 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