范畴论

1、范畴是什么

范畴由两部分构成：对象和态射。

与集合相比，范畴中同样包含许许多多的对象，不同的是范畴强调态射但集合不强调。“态射”是一种比“映射”更宽泛的定义，它表示事物之间的某一条联系，在范畴论中用箭头表示。

所以可以如下定义：一个范畴包含对象objects（用A,B,C...表示）和态射morphism（用箭头表示）两部分。

对于态射，它拥有唯一的源对象和目标对象，缺少源和目标的态射没有意义。存在一种源和目标都是同一对象的态射，称为单位态射，记为1A。

态射可以符合，用小圆圈表示两个态射的复合。单位态射和任意的态射f复合的结果仍是f，这里可以知道1A作用类似“1”。

2、子范畴 

 一个集合拥有子集，一个范畴也拥有子范畴。

集合的子集拥有该集合的部分或全部元素，对于范畴来说，它包含对象和态射两部分，所以他的子范畴包含该范畴的部分或全部对象和态射，这其中就包括（1）子范畴对象的单位态射（2）子范畴态射f与g的复合态射。

3、泛性质 

 可以将态射理解成从对象A走到B的一条路径，而这种路径可能不止一条，也可能被分解成多条路径。

如果可以将一个范畴中的所有态射全部分解为态射f和另外的一种或多种态射，那么这个态射f称为范畴的泛态射，它体现了一个范畴中态射的基本性质，所有态射都可以用f和其他态射复合而成，可以近似理解成二位空间里的基底，是一个非常重要的定义。

4、函子

函子是两个范畴之间的态射。

对于态射来说，它本身也可以与其他对象或态射有联系，因此态射和对象没有多少区别，只是表达的侧重点不同。

函子和函子之间就存在这样一种态射之间的态射，范畴论中称之为自然变换。

5、如果一个范畴中的所有对象可以构成一个集合，则我们可以称该范畴为一个小范畴。

如果存在一个函子，可以从一个小范畴映射为另一个范畴，则我们称该函子为一个“图示”。

源小范畴称之为“索引范畴”。而如果在该图示的目标范畴中，存在某一个对象A，该对象可以通过一个和图示方向完全相反的态射f，映射到索引范畴中的另一个对象B。

若存在f，则我们称这三者构成了一个“锥体”。如果存在这样一个锥体，该锥体中的B可以通过态射变换为所有其他的锥体，则我们称该锥体为“极限”。(理解不了了有点)

6、范畴论的作用 

 我认为范畴论最大的作用就是打破了集合论的限制，不仅能将弱联系的对象用态射勾连起来，还可以避免集合论中出现的罗素悖论，为数学的发展提供了新的前景。

            对范畴论的了解

                           杨  宁

在看了范畴论的介绍视频后，其实我看的不太懂，所以还是在网上搜集了一些资料以及关于范畴论的的文章，以下是我的对文章的一些总结。

数学结构是数学的研究主体。

范畴论作为一种数学语言，为数学提供了统一的概念基础，能够有效地诠释数学的内核———结构。

范畴论中的概念、定义等都可以通过形式化的方式表示，而且这种形式化蕴含一定的数学内容，因而范畴论既从形式又从内容上阐述了数学结构，可以说，范畴论是处理数学结构的有效语言。

以范畴论为数学基础的研究思想有助于我们以统一的方式重新解读数学，将数学知识体系化、条理化。

这既推动了包含范畴论在内的数学学科的进步，又推进了数学结构主义的深入发展。

更重要的是，这种基于范畴论的结构主义进路为数学基础提供了新的研究模式，开启了新的研究思路。

对于数学结构的阐释，范畴提供了刻画及描述数学结构的工具，即通过对象与对象之间的态射关系对其进行表述。例如对自然数结构的刻画，就是对自然数之间关系的表述，范畴论者并不在意自然数个体的内在性质。

事实清晰地表明：数学结构由对象及其之间态射形成的系统所决定，而非由同构下的数学对象的具体特性决定。

具体而言，范畴论数学基础的本质特征体现在两个方面: 一是范畴论诠释了数学内核; 二是范畴论构建了数学框架。