范畴化是试图建立一套标准、规范和统一的数学对象描述框架，以便将对数学对象原有的定义转换为范畴式定义的工作。范畴化目的是归纳发现不同数学对象之间的异同，以便对相同的性质进行抽象归并，对不同的性质进行衍生演化，使整个数学体系更加精炼和完整。

范畴的标准描述框架

一个范畴的内部结构的定义（本范畴），包含：

一个对象的集合，

其中的每个对象都满足本范畴的定义。

一个态射的集合，

其中的态射作用于本范畴对象集合，是对象到自身或另一对象的转换操作。

在范畴和范畴之间，可定义：

涵子：建立两个范畴结构之间的对应联系。包括量两个范畴的

对象和对象，态射和态射之间保持各自内在结构关系的“镜像对称”*的联系。

*类似的“镜像对称”模式也出现在计算机软件面向对象设计OOD中，用于表达不同类的内部结构之间的“平行映射”的关系。比如，用OOD的方法分析设计表达范畴学与数学相关领域的关系图如下，其中的范畴化就显示出了一种不同OOD“类域”之间的对象关系的平行映射。

此图也概要地展现了范畴学作为一种在数学内部，从所有数学领域中提炼出来的一种特殊的基础数学领域的地位，专门用来进行跨领域的对象类型之间可进行相互转换的关系，也就是涵子关系。

转载本文请联系原作者获取授权，同时请注明本文来自邱嘉文科学网博客。

链接地址：https://wap.sciencenet.cn/blog-33982-1431194.html?mobile=1

收藏

分享