偶图范畴的规范描述  

Specification of Bigraphical Categories

作　　者：许东[1] 朱刚[1] 李静[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200444

出　　处：《计算机科学》2013年第7期24-27,共4页Computer Science

摘　　要：范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台。然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方。改进了偶图基本签名的定义,校正了位置图并置运算的定义,揭示了预范畴、范畴、s-范畴、对称偏幺半范畴之间的联系,给出了构造偶图范畴的算法,以便进一步研究偶图理论及其应用。Category theory is a mathematical theory to process abstractly mathematical structures and the relations a- mong them. Bigraph which uses category theory as mathematical base, is a design, simulation and analysis platform for ubiquitous information systems. There, however, is a lack of specification, and are some errors in the definitions for big- raphical categories. The definition of bigraph basic signature was improved, and the juxtaposition operation of place graphs was corrected, and the relations among precategory, category, s-category and symmetric partial monoidal category were revealed in conjunction with giving an algorithm to construct bigraphical categories in this paper. Therefore, big- raph theories and its applications will be further investigated.

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]