跳转到内容

范畴论

本页使用了标题或全文手工转换
维基百科,自由的百科全书
一个有对象X、Y、Z和态射f、g、g∘f的范畴(若更明确地表示,该范畴的三个恒等态射1X、1Y和1Z,将分别显示为从字母X、Y、Z指向它们的三个箭头)。

范畴论(英语:Category theory)是数学的一门学科,是关于数学结构及其关系的一般理论,以抽象的方法处理数学概念,将这些概念形式化成一组组的“对象”及“态射”。数学中许多重要的领域可以形式化为范畴。使用范畴论可以令这些领域中许多难理解、难捉摸的数学结论更容易叙述证明。

一个范畴包含两类数学对象:对象与态射。以集合范畴为例,其对象为集合,态射为集合间的函数。若以第一个态射的目标为源发出第二个态射,这样形成的“复合态射”的性质同复合函数类似(存在结合律单位态射)。但需注意,范畴的对象不一定要是集合,态射也不一定要是函数;一个数学概念若可以找到一种方法,以符合对象及态射的定义,则可形成一个有效的范畴,且所有在范畴论中导出的结论都可应用在这个数学概念之上。

范畴最简单的例子之一为广群,其态射皆为可逆的。群胚的概念在拓扑学中很重要。范畴现在在大部分的数学分支中都有出现,在理论电脑科学的某些领域中用于对应资料型别,而在数学物理中被用来描述向量空间

范畴论不只是对研究范畴论的人有意义,对其他数学家而言也有着其他的意思。一个可追溯至1940年代的述语“一般化的抽象废话”,即被用来指范畴论那相对于其他传统的数学分支更高阶的抽象化。

范畴论在20世纪中叶由塞缪尔·艾伦伯格桑德斯·麦克莱恩等人在代数拓扑工作的基础上提出。

背景

[编辑]

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

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

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

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

函子

[编辑]

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

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

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

自然变换

[编辑]

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

历史注记

[编辑]

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

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

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

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

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

范畴、对象与态射

[编辑]

范畴

[编辑]

一个“范畴” 由如下3个数学对象组成:

  1. 一个 ,其元素称为“对象”;
  2. 一个类 ,其元素称为“态射”或“箭号”。每个态射 都只有一个“源对象” 及一个“目标对象” (其中 都在 内),称之为“从 的态射”,标记为
    所有从 的态射所组成的类称之为“态射类”,标记为
  3. 一个二元运算,称为“态射复合”,使得对任意三个对象 ,都会有 。两个态射 的复合写做 [注 1],并会符合下列两个公理:
    • 结合律:若 ,则
    • 单位元:对任意对象 ,总存在一个态射 (称为 单位态射),使得对每个态射 ,都会有

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

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

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

范畴举例

[编辑]

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

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

态射

[编辑]

映射之间的关系(比如)在大多数情形下可用更直观的交换图来表示,在此图中对象被表示成顶点,态射被表示为箭头。

一个表为态射可具有以下任意一种性质。

  • 单态射:对所有态射,若,则
  • 满态射:对所有态射,若,则
  • 即是单态射也是满态射,则为双态射
  • 同构:若有态射,如[a]
  • 自同态:若表示的自同态类。
  • 自同构:若即同构,也自同态。表示的自同构类。
  • 屈态射(retraction):若的右逆存在。即有态射
  • 切态射(section):若的左逆存在。即有态射

屈态射必为满态射,切态射必为单态射。另外,下面三条表述等价:

  • 是单态射,也是屈态射;
  • 是满态射,也是切态射;
  • 同构。

函子

[编辑]

函子是范畴之间保持结构的映射,可以看成以所有(小)范畴为成员的范畴中的态射。

一个从范畴到范畴的(协变)函子被定义为:

  • 中任意对象,都有一个中相应的对象与其对应;
  • 中任意态射 ,都有一个中相应的态射与其对应;

并使下列性质成立:

  • 中任意对象,都有
  • 中任意两个态射,都有

一个从范畴到范畴反变函子不同于函子的地方仅在于将中的映射箭头倒过来。比如说中任一态射,则有。定义反变函子的最简捷的方法是作为的反范畴上的函子。

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

自然和自然同构

[编辑]

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

定义

[编辑]

如果是从范畴到范畴的(协变)函子,则从的一个自然变换会给中的每个对象,关联一个中相应的态射,使得对中的任何态射,都有;这也就是说下列图表是可交换的

Diagram defining natural transformations

如有从的自然变换,使得中所有对象来说都同构,则称这两个函子“自然同构”。


举例

[编辑]

上的任意向量空间,则有从向量空间到其二重对偶的一个“自然”内射线性映射 。这些映射在以下意义上是“自然”的:二重对偶运算是一个函子,这些映射正好构成了从恒等函子到二重对偶函子的自然变换。如果向量空间的维数是有限的,我们就得到一个自然同构;因为“有限向量空间自然同构于其二重对偶”。

考虑阿贝尔群及其同态构成的范畴。对任意阿贝尔群,我们得到群同构

这些同构是“自然”的,因为它们定义了两个函子间的一种自然变换:

泛结构、极限和上极限

[编辑]

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

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

等价范畴

[编辑]

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

进一步的概念和结果

[编辑]

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

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

高维范畴

[编辑]

上述许多概念,特别是范畴的等价性、伴随函子和函子范畴等,可抽象至更高维的背景中。简而言之,若将态射视为“从一个对象到另一个对象的过程”,那么高维范畴就允许我们考虑“高维过程”,从而方便地概括之。

例如,(严格)2-范畴是与“态射间的态射”一起的范畴,即允许态射转换的过程。然后便可以对这些“双态射”进行横纵向的“组合”,通过规定二维的“交换律”,联系起两个合成律。这方面的标准例子是Cat,即所有(小)范畴的二维范畴,其中态射的双态射仅仅是通常意义上的态射的自然变换。另一个基本例子是,考虑一个具有单一对象的二维范畴,即幺半范畴双范畴是比二维范畴弱的概念。其中态射的组成不是严格意义上的关联,而只是平凡的同构。

这个过程可以扩展到任意自然数维,称为n维范畴。甚至还有与序数ω对应的ω维范畴的概念。

高维范畴是更广泛的高维代数的一部分。

范畴分类

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

研究史

[编辑]

虽然塞缪尔·艾伦伯格桑德斯·麦克莱恩在1942年一篇关于群论的论文中已经给出了函子和自然变换的具体例子,[2]他们在1945年的一篇论文中,向这些概念引入了更普遍的意义,还有范畴的额外概念[1],并讨论了范畴论在代数拓扑领域的应用。[3]这些工作是直观几何同调同调代数过渡的一个重要部分。

斯塔尼斯拉夫·乌拉姆名义写的一系列文章,都声称类似的想法在1930年代末的波兰已经流行了。艾伦伯格是波兰人,1930年代在波兰学习数学。范畴论在某种意义上也是埃米·诺特将抽象过程形式化的延续;[4]诺特意识到,理解一种数学结构需要理解保留了结构的过程(同构)。[来源请求]艾伦伯格和麦克莱恩引入了范畴,用于理解和形式化将代数结构(拓扑不变量)与拓扑学结构相关联的过程(函子)。

范畴论最初源自同调代数的需要,并为现代代数几何概形论)的需要而得到广泛扩展。范畴论可被视为泛代数的延伸,后者研究代数结构,前者则适用于任何数学结构,并研究不同性质的结构间的关系,因此可用于整个数学领域。在数理逻辑语义范畴抽象机)上的应用来得较晚。

某些称作拓扑斯(topos,单数topoi)的范畴甚至可以替代公理集合论作为数学的基础。拓扑斯也可看做是特定类型的范畴,有两个额外的拓扑斯公理。范畴论的这些基础应用已经研究得相当详细,常是作为数学构成主义的基础。拓扑斯理论是抽象层论的一种形式,源于几何学,启发了诸如无点拓扑学之类想法。

范畴逻辑现在是基于直觉主义逻辑类型论,定义明确的领域,并在函数式编程域理论中得到应用,其中一个笛卡儿闭范畴被视作λ演算的非语义描述。范畴论澄清了领域间在某种抽象意义上的共同点。

范畴论还有其他应用。例如,约翰·拜艾兹展示了物理学费曼图和幺半范畴之间的联系。[5]范畴论的另一个应用是拓扑斯理论,已在数学音乐理论中得到了应用,可参Guerino Mazzola的书《音乐的拓扑斯,概念、理论和表现的集合逻辑》。

注释

[编辑]
  1. ^ 有些作者会以不同的次序做复合,将g ∘ f 写做fg 或f ∘ g。研究电脑科学的学者在使用范畴论时经常将 写做
  1. ^ 注意,双态射与同构并不等价。一个基本的反例:在由两个对象、单位态射与态射构成的范畴中,是双态射,但不同构。

参考资料

[编辑]

引用

[编辑]
  1. ^ 1.0 1.1 Eilenberg, Samuel; Mac Lane, Saunders. General theory of natural equivalences (PDF). Transactions of the American Mathematical Society. 1945, 58: 247. ISSN 0002-9947. doi:10.1090/S0002-9947-1945-0013131-6. (原始内容存档 (PDF)于2022-10-10). 
  2. ^ Eilenberg, S.; Mac Lane, S. Group Extensions and Homology需要免费注册. Annals of Mathematics. 1942, 43 (4): 757–831 [2023-05-28]. ISSN 0003-486X. JSTOR 1968966. doi:10.2307/1968966. (原始内容存档于2023-03-26) –通过JSTOR. 
  3. ^ Marquis, Jean-Pierre. Category Theory. Stanford Encyclopedia of Philosophy. Department of Philosophy, Stanford University. 2019 [2022-09-26]. (原始内容存档于2023-09-12). 
  4. ^ Reck, Erich. The Prehistory of Mathematical Structuralism 1st. Oxford University Press. 2020: 215–219. ISBN 9780190641221 (英语). 
  5. ^ Baez, J.C.; Stay, M. Physics, topology, logic and computation: A Rosetta stone. New Structures for Physics. Lecture Notes in Physics 813. 2009: 95–172. ISBN 978-3-642-12820-2. S2CID 115169297. arXiv:0903.0340可免费查阅. doi:10.1007/978-3-642-12821-9_2. 

来源

[编辑]

延伸阅读

[编辑]

外部链接

[编辑]