偶图范畴的规范描述

摘要：

范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论.以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台.然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方.改进了偶图基本签名的定义,校正了位置图并置运算的定义,揭示了预范畴、范畴、S-范畴、对称偏幺半范畴之间的联系,给出了构造偶图范畴的算法,以便进一步研究偶图理论及其应用.

关键词：偶图、范畴、普适信息系统

所属期刊栏目：40

分类号：TP31(计算技术、计算机技术)

在线出版日期：2013-10-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：24-27