Monoidal Streams for Dataflow Programming
Abstract
We introduce monoidal streams: a generalization of causal stream functions to monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented by a symmetric monoidal category. At the same time, monoidal streams form a feedback monoidal category, which can be used to interpret signal flow graphs. As an example, we study a stochastic dataflow language.
 Publication:

arXiv eprints
 Pub Date:
 February 2022
 DOI:
 10.48550/arXiv.2202.02061
 arXiv:
 arXiv:2202.02061
 Bibcode:
 2022arXiv220202061D
 Keywords:

 Computer Science  Logic in Computer Science;
 Computer Science  Programming Languages;
 Mathematics  Category Theory;
 18M05
 EPrint:
 Draft, 36 pages