Towards a unified framework for decomposability of processes
Abstract
The concept of process is ubiquitous in science, engineering and everyday life. Category theory, and monoidal categories in particular, provide an abstract framework for modelling processes of many kinds. In this paper, we concentrate on sequential and parallel decomposability of processes in the framework of monoidal categories: We will give a precise definition, what it means for processes to be decomposable. Moreover, through examples, we argue that viewing parallel processes as coupled in this framework can be seen as a category mistake or a misinterpretation. We highlight the suitability of category theory for a structuralistic interpretation of mathematical modelling and argue that for appliers of mathematics, such as engineers, there is a pragmatic advantage from this.
Cite
@article{arxiv.1606.05529,
title = {Towards a unified framework for decomposability of processes},
author = {Valtteri Lahtinen and Antti Stenvall},
journal= {arXiv preprint arXiv:1606.05529},
year = {2019}
}
Comments
To appear in Synthese. The final publication is available at Springer via http://dx.doi.org/10.1007/s11229-016-1139-4. Revision on 12 September 2016: Discussion of states as morphisms reconsidered. In particular, footnotes 9 and 12 modified. This corrects a faulty statement in footnote 12 of the previous version