||
范畴化是试图建立一套标准、规范和统一的数学对象描述框架,以便将对数学对象原有的定义转换为范畴式定义的工作。范畴化目的是归纳发现不同数学对象之间的异同,以便对相同的性质进行抽象归并,对不同的性质进行衍生演化,使整个数学体系更加精炼和完整。
范畴的标准描述框架
一个范畴的内部结构的定义(本范畴),包含:
一个对象的集合,
其中的每个对象都满足本范畴的定义。
一个态射的集合,
其中的态射作用于本范畴对象集合,是对象到自身或另一对象的转换操作。
在范畴和范畴之间,可定义:
涵子:建立两个范畴结构之间的对应联系。包括量两个范畴的
对象和对象,态射和态射之间保持各自内在结构关系的“镜像对称”*的联系。
*类似的“镜像对称”模式也出现在计算机软件面向对象设计OOD中,用于表达不同类的内部结构之间的“平行映射”的关系。比如,用OOD的方法分析设计表达范畴学与数学相关领域的关系图如下,其中的范畴化就显示出了一种不同OOD“类域”之间的对象关系的平行映射。
此图也概要地展现了范畴学作为一种在数学内部,从所有数学领域中提炼出来的一种特殊的基础数学领域的地位,专门用来进行跨领域的对象类型之间可进行相互转换的关系,也就是涵子关系。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-8-17 05:21
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社