范畴论

title: 背景.
content: 研究范畴就是试图以「公理化」的方法抓住在各种相关连的「数学结构」中的共同特性,并以结构间的「结构保持函数」将这些结构相关起来。因此,对范畴论系统化的研究将允许任何一个此类数学结构的普遍结论由范畴的公理中证出。  考虑下面的例子:由群组成的类Grp 包含了所有具有「群结构」的物件。要证明有关群的定理,即可由此套公理进行逻辑的推导。例如,由公理中可立即证明出,群的单位元素是唯一的。  不是只专注在有特定结构的个别物件(如群)上,范畴论会着重在这些物件的态射(结构保持映射)上;经由研究这些态射,可以学到更多关于这些物件的结构。以群为例,其态射为群同态。两个群间的群同态会严格地「保持群的结构」,这是个以将一个群中有关结构的讯息运到另一个群的方法,使这个群可以看做是另一个群的「过程」。因此,对群同态的研究提供了一个得以研究群的普遍特性及群公理的推论的工具。  类似的研究也出现在其他许多的数学理论中,如在拓扑学中对拓扑空间的连续映射的研究(相关范畴称为Top),及对流形的光滑函数的研究等。
title: 函子.
content: 再抽象化一次,范畴自身亦为数学结构的一种,因此可以寻找在某一意义下会保持其结构的「过程」;此一过程即称之为函子。函子将一个范畴的每个物件和另一个范畴的物件相关连起来,并将第一个范畴的每个态射和第二个范畴的态射相关连起来。  实际上,即是定义了一个「范畴和函子」的范畴,其元件为范畴,(范畴间的)态射为函子。  经由研究范畴和函子,不只是学习了一类数学结构,及在其之间的态射;还学习了「在不同类型的数学结构之间的关系」。此一基本概念首次出现于代数拓扑之中。不同的「拓扑」问题可以转换至通常较易解答的「代数」问题之上。在拓扑空间上如基本群或基本群胚等基本的架构,可以表示成由群胚所组成的范畴之间的基本函子,而这个概念在代数及其应用之中是很普遍的。
title: 自然变换.
content: 再抽象化一次,架构通常会「自然地相关连」,这个第一眼会觉得很暧昧的概念,产生了自然变换(将一个函子映射至另一函子的方法)此一清楚的概念。许多数学上的重要架构可以从此一角度来研究。
title: 历史注记.
content: 范畴、函子和自然变换是由塞缪尔·艾伦伯格和桑德斯·麦克兰恩在1945年引进的。这些概念最初出现在拓扑学,尤其是代数拓扑学里,在同态(具有几何直观)转化成同调论(公理化方法)的过程中起了重要作用。乌拉姆说,在1930年代的后期,波兰学派中曾出现类似的想法。  艾伦堡和麦克兰说,他们的目的在于理解自然映射;为此,必须定义函子;为了定义函子,就自然地要引进范畴。  同调代数由于计算上的需要而使用范畴论,这对范畴论起到了推进作用;此后范畴论又在代数几何的公理化过程中得到发展。代数几何与罗素-怀特海德的关于数学统一性基础的观点相抵触。广义范畴论随后产生,且更容纳了语意灵活性和高阶逻辑等多种新特征的泛代数,现在被运用到数学的所有分支。  特殊范畴拓扑斯甚至可以代替公理集合论作为数学的基础。然而范畴论对这些范围广泛的基础应用还是有争议的;但作为构造性数学的基础或注释,范畴论被研究的相当透彻。尽管如此,公理集合论至今仍然是数学家们的通用语言,并没有被范畴论的注释所取代。将范畴论引入大学程度的教学(在《伯克霍夫-麦克兰》和《麦克兰-伯克霍夫》这两本抽象代数的教科书的区别上可以印证)还是遭到了相当的反对。  范畴逻辑是直觉逻辑中类型论的一个被明确定义的分支,在计算机学科的函数式编程和域理论中均有应用,并且都是在笛卡尔闭范畴中对λ演算的非句法性描述。至少,用范畴论可以精确地描述在这些相关的领域里什么是共同的(在抽象的意义上)。
title: 范畴.
content: 一个“范畴” formula_1 是由如下3个数学实体所组成的:  由以上公理可证得,每个物件都只存在一个单位态射。有些作者将物件本身用单位态射来定义,这在本质上是相同的。  如果对象的类确实是个集合,那么这种范畴就被称为“小范畴”。许多重要的范畴不是小范畴。  范畴中的态射有时又称为“箭号”,这种叫法来自于交换图。
title: 范畴举例.
content: 每一范畴都由其对象,态射,和复合态射来表述。为了方便起见,以下的“函数”即是指态射,不再一一说明。
title: 态射分类.
content: 态射 formula_61称为  映射之间的关系(比如formula_74)在大多数情形下可用更直观的交换图来表示,在此图中对象被表示成顶点,态射被表示为箭头。
title: 函子.
content: 函子是范畴之间保持结构的映射。它们可以被看成以所有(小)范畴为成员的范畴中的态射。  一个从范畴formula_51到范畴formula_55的(协变)函子formula_77被定义为:  并使下列性质成立:  一个从范畴formula_51到范畴formula_55的反变函子formula_77不同于函子的地方仅在于将formula_55中的映射箭头倒过来。比如说formula_83是formula_51中任一态射,则有formula_99。定义反变函子的最简捷的方法是作为formula_51的反范畴formula_52到formula_55上的函子。  有关函子的具体例子和性质请详见函子条目。
title: 自然和自然同构.
content: 详细请见自然变换条目。  一个“自然变换”是两个函子之间的一个关系。函子通常用来描述“自然构造”,而自然变换则用来描述两个构造之间的“自然同态”。有时候,两个截然不同的构造具有“相同的”结果;这正可以用两个函子之间的自然关系来表述。
title: 定义.
content: 如果formula_77和formula_104是从范畴formula_51到范畴formula_55的(协变)函子,则从formula_77到formula_104的一个自然变换对于formula_51中的任何对象formula_79,都有一个formula_55中相应的态射formula_112,使得对formula_51中的任何态射formula_83,都有formula_115;这也就是说下列图表是可交换的:  两个函子formula_77和formula_104称为“自然同构”,如果存在一从formula_77到formula_104的自然变换,使得对所有formula_51中的对象formula_79,formula_122是一个同构。
title: 举例.
content: 设formula_35是体,formula_124是formula_35上的任意向量空间,则有从向量空间到其二重对偶的一个“自然”内射型线性映射formula_126 。这些映射在以下意义上是“自然”的:二重对偶运算是一个函子,这些映射正好构成了从恒等函子到二重对偶函子的自然变换。如果向量空间的维数是有限的,我们就得到一个自然同构;因为“有限向量空间自然同构于其二重对偶”。  考虑阿贝尔群及其同态构成的范畴formula_127。对任意阿贝尔群formula_79、formula_129和formula_130,我们得到群同构  这些同构是“自然”的,因为它们定义了两个函子间的一种自然变换:formula_132。
title: 泛结构、极限和上极限.
content: 运用范畴论的语言,许多数学研究领域都可以归结成一些恰当的范畴,例如所有集合的范畴,所有群的范畴,所有拓扑的范畴,等等。这些范畴里的确有一些“特殊的”对象,例如空集或者两个拓扑的直积。然而,在范畴的定义里,对象是原子性的,那就是说,我们无法知道一个对象到底是集合,是拓扑,还是其它抽象概念。有必要定义特殊对象而不涉及对象的内在结构,这是一个挑战。那么到底怎样不用元素而定义空集,不用开集而定义拓扑积呢?  解决这个问题的途径是借用对象和对象之间的关系,而这些关系由相应范畴中的态射给出。现在问题转化为寻找泛性质,这些泛性质可以唯一地决定我们所感兴趣的对象。事实上,为数众多的重要结构都可用纯范畴论的方法来描述。在定义泛性质时,我们要用到一个非常关键的概念:范畴性“极限”和其“上极限”。
title: 等价范畴.
content: 人们很自然地要问,在什么样的情形下,两个范畴“在本质上是相同”的,换一句话来说,对其中一个范畴成立的定理,可以既定地转换成另一个范畴的定理。用来描述这种情形的主要方法是“范畴的等价性”,由函子给出。范畴的等价性在数学中有很多的应用。
title: 进一步的概念和结果.
content: 范畴和函子的定义只是范畴代数中最基本的部分。除此之外的重要部分如下列所述。基本上是以阅读顺序排列,尽管它们彼此之间有着内在的联系。

Summary: 范畴论是数学的一门学科,以抽象的方法来处理数学概念,将这些概念形式化成一组组的「物件」及「态射」。数学中许多重要的领域可以形式化成范畴,并且使用范畴论,令在这些领域中许多难理解、难捉摸的数学结论可以比没有使用范畴还会更容易叙述及证明。

Category theory: Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a "category", whose nodes are called "objects", and whose labelled directed edges are called "arrows" (or morphisms). A category has two basic properties: the ability to compose the arrows associatively, and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Informally, category theory is a general theory of functions.