数学的数学：范畴论

范畴是一个类，类里的对象是具有某种特征的事物，对象与对象之间的关系就是态射，范畴与范畴之间的关系叫做函子，函子与函子之间的关系就是自然变换。

范畴论和集合论很相似。但范畴的限制少，范围更广泛，任何事物只要符合范畴中定义的特征那么它就属于范畴的一个对象，哪怕这个事物也是一个范畴。范畴论并不在乎范畴内的对象是什么，它只在乎对象是否具有某种特征。对象与对象之间的态射可以复合，范畴与范畴之间的函子也可以复合，函子与函子之间的自然变化也可以复合。范畴论以“公理化”的方法抓住在各种事物中的共同特性，并以结构间的“结构保持函数”将这些结构相关起来。

以我的理解，范畴论就是一个具有巨大包容性的框架。巨大的包容性意味着它有更多的可能性。在未来的5G万物互联时代，每个事物对应着一个或者多个范畴中的一个对象，一类事物就对应着一个范畴，而一类事物与另一类事物之间的关系对应着一个函子。若以范畴论为框架，5G万物互联时代各个事物之间的关系将得到定义。在我上网查找与范畴论相关的知识时，发现在计算机编程领域也涉及到了范畴论，我觉得如果在5G万物互联时代中，能够有以范畴论为框架的编程语言，同时各个事物之间的关系得到充分定义，那么俩者产生的化学反应将会真正使万物互联成为现实。

范畴论的定义：范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论，以抽象的方法来处理数学概念，将这些概念形式化成一组组的“对象”及“态射”。范畴是集合、线性空间、群、流形的抽象。

  范畴论的历史背景：

亚里士多德是斯答盖拉人，生存年代在公元前384—322年，主要活动区域是在雅典。他提出的理论极为丰富，其中的范畴论是其学说的主要内容之一，是古希腊范畴论的代表性理论形态。亚里士多德提出了十种范畴的学说。这些范畴是：实体、数量、性质、关系、地点、时间、姿势、状态、活动、遭受。

  亚里士多德提出的这种范畴论对事物在概念上进行了细致的分类，区分出了事物本身，即他所谓的实体或本质；区分出了事物的属性和形态，即他所谓的性质、姿势、状态、数量、活动等；区分出了事物存在的时间和地点；区分出了事物间的关系，即他所谓的关系和遭受。亚里士多德的这种范畴论对事物自身，它的属性和状态等做了清晰的区分。

  内容：范畴论的三个基础概念：范畴，函子和泛性质。

范畴：任何事物皆可以被抽象为“对象”，对象与对象之间不是孤立的，而是具有许许多多的“联系”的。但是“联系”是一种空泛的词语，它既可以表示对象与对象之间所有联系的集合，也可以表示对象与对象之间所有联系之中的某一条联系。为了使得描述的对象不那么空泛，用专有名词“态射”来指代对象与对象之间所有联系中的某一条联系。态射也可以看成一种对象，所以态射之间也会存在态射。而对象在某种程度上也可以看成一种态射，所以事实上，对象和态射其实是一种东西。一堆对象，以及对象之间的所有态射所构成的一种代数结构，便称之为“范畴”。范畴可以看作集合的更高级产物，因为集合和范畴都含有许多的对象，但集合不强调态射，范畴强调态射。范畴本身也可以看作一个对象，所以范畴与范畴之间也会存在态射，范畴和态射又可以构成新的范畴。

函子：范畴与范畴之间的映射称之为“函子”。映射是一种特殊的态射，所以函子也是一种态射。可以利用范畴和函子构建一种新的范畴。函子本身也可以看成一种对象，所以函子之间也会存在态射。这种函子之间的态射我们称之为“自然变换”。

泛性质：一个范畴内的对象是存在态射的，而一个态射又可以分解为其他态射的组合。而如果存在这样一种态射A，范畴内的所有态射都可以分解为态射 A 和另一种态射的组合。则称态射 A 在该范畴内是一种“具有泛性质的态射”，简称“泛态射”。并非所有范畴中都存在泛态射，泛态射在一个集合中也不一定唯一。一个泛态射和一个同构映射可以构成另一个泛态射，除此之外，其他任何不是泛态射的态射不可以组合成泛态射。泛态射之所以具有这种性质，是因为这种态射具有“泛性质”。

什么是泛性质？简单来说，能够被所有元素所拥有的元素，就可以称之为“泛元素”。态射是一种元素，所以能够成为所有态射的分解因子的态射就被称之为泛态射。向量空间的基底可以称之为“泛向量”。那么所有“性质”所拥有的性质就是“泛性质”。