Category of asynchronous systems and polygonal morphisms
Abstract
A weak asynchronous system is a trace monoid with a partial action on a set. A polygonal morphism between weak asynchronous systems commutes with the actions and preserves the independence of events. We prove that the category of weak asynchronous systems and polygonal morphisms has all limits and colimits.
Journal of Semigroup Theory and Applications
ISSN 2051-2937
Editorial Office: [email protected]
Copyright ©2024 SCIK Publishing Corporation