偶图范畴的规范描述

作     者：许东 朱刚 李静 XU Dong;ZHU Gang;LI Jing

作者机构：上海大学计算机工程与科学学院上海200444 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2013年第40卷第7期

页      码：24-27页

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

主 题 词：偶图 范畴 普适信息系统 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2013.07.005

馆 藏 号：203121168...