Computer Science ›› 2013, Vol. 40 ›› Issue (7): 24-27.

Previous Articles     Next Articles

Specification of Bigraphical Categories

XU Dong,ZHU Gang and LI Jing   

  • Online:2018-11-16 Published:2018-11-16

Abstract: Category theory is a mathematical theory to process abstractly mathematical structures and the relations among 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 bigraphical 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 categorywere revealed in conjunction with giving an algorithm to construct bigraphical categories in this paper.Therefore,bigraph theories and its applications will be further investigated.

Key words: Bigraph,Category,Ubiquitous information system

[1] Milner R.Bigraphical reactive systems[C]∥Proc.12th International Conference on Concurrency Theory,Lecture Notes in Computer Science 2154.Springer-Verlag,2001:16-35
[2] Milner R.The Space and Motion of Communicating Agents[M].Cambridge:Cambridge University Press,2009
[3] 贺伟.范畴论[M].北京:科学出版社,2007
[4] 陈意云.计算机科学中的范畴论[M].合肥:中国科学技术大学出版社,1982
[5] Milner R.Bigraphical Categories[C]∥CONCUR 2009-Concurrency Theory.Lecture Notes in Computer Science.Volume 5710,2009:30-36

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!