Towards a unified framework for decomposability of processes

Valtteri Lahtinen*, Antti Stenvall

*Corresponding author for this work

Research output: Contribution to journalArticleScientificpeer-review

3 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)4411-4427
Number of pages17
JournalSYNTHESE
Volume194
Issue number11
DOIs
Publication statusPublished - 1 Nov 2017
MoE publication typeA1 Journal article-refereed

Keywords

  • Category theory
  • Decomposition
  • Mathematical modelling
  • Process
  • Structuralism

Fingerprint

Dive into the research topics of 'Towards a unified framework for decomposability of processes'. Together they form a unique fingerprint.

Cite this