Cubical Sets and Trace Monoid Actions

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 t...

Full description

Saved in:
Bibliographic Details
Main Author: Ahmet A. Husainov
Format: Article
Language:English
Published: Wiley 2013-01-01
Series:The Scientific World Journal
Online Access:http://dx.doi.org/10.1155/2013/285071
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832562874560544768
author Ahmet A. Husainov
author_facet Ahmet A. Husainov
author_sort Ahmet A. Husainov
collection DOAJ
description 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.
format Article
id doaj-art-6556fad14bf546e199f0a2177ae182a7
institution Kabale University
issn 1537-744X
language English
publishDate 2013-01-01
publisher Wiley
record_format Article
series The Scientific World Journal
spelling doaj-art-6556fad14bf546e199f0a2177ae182a72025-02-03T01:21:29ZengWileyThe Scientific World Journal1537-744X2013-01-01201310.1155/2013/285071285071Cubical Sets and Trace Monoid ActionsAhmet A. Husainov0Faculty of Computer Technology, Komsomolsk-on-Amur State Technical University, Prospect Lenina 27, Komsomolsk-on-Amur 681013, RussiaThis 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.http://dx.doi.org/10.1155/2013/285071
spellingShingle Ahmet A. Husainov
Cubical Sets and Trace Monoid Actions
The Scientific World Journal
title Cubical Sets and Trace Monoid Actions
title_full Cubical Sets and Trace Monoid Actions
title_fullStr Cubical Sets and Trace Monoid Actions
title_full_unstemmed Cubical Sets and Trace Monoid Actions
title_short Cubical Sets and Trace Monoid Actions
title_sort cubical sets and trace monoid actions
url http://dx.doi.org/10.1155/2013/285071
work_keys_str_mv AT ahmetahusainov cubicalsetsandtracemonoidactions