Cubical Sets and Trace Monoid Actions
Author
Source
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-9, 9 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-12-19
Country of Publication
Egypt
No. of Pages
9
Main Subjects
Medicine
Information Technology and Computer Science
Abstract EN
This paper is devoted to connections between trace monoids and cubical sets.
We prove that the category of trace monoids is isomorphic to the category of generalized tori and it is a reflective subcategory of the category of cubical sets.
Adjoint functors between the categories of cubical sets and trace monoid actions are constructed.
These functors carry independence preserving morphisms in the independence preserving morphisms.
This allows us to build adjoint functors between the category of weak asynchronous systems and the category of higher dimensional automata.
American Psychological Association (APA)
Husainov, Ahmet A.. 2013. Cubical Sets and Trace Monoid Actions. The Scientific World Journal،Vol. 2013, no. 2013, pp.1-9.
https://search.emarefa.net/detail/BIM-1011866
Modern Language Association (MLA)
Husainov, Ahmet A.. Cubical Sets and Trace Monoid Actions. The Scientific World Journal No. 2013 (2013), pp.1-9.
https://search.emarefa.net/detail/BIM-1011866
American Medical Association (AMA)
Husainov, Ahmet A.. Cubical Sets and Trace Monoid Actions. The Scientific World Journal. 2013. Vol. 2013, no. 2013, pp.1-9.
https://search.emarefa.net/detail/BIM-1011866
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1011866