تقرير
Coinductive Streams in Monoidal Categories
العنوان: | Coinductive Streams in Monoidal Categories |
---|---|
المؤلفون: | Di Lavore, Elena, de Felice, Giovanni, Román, Mario |
سنة النشر: | 2022 |
المجموعة: | Computer Science Mathematics |
مصطلحات موضوعية: | Computer Science - Logic in Computer Science, Mathematics - Category Theory |
الوصف: | We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric 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. Monoidal streams also form a feedback monoidal category. In the same way that we can use a coinductive stream calculus to reason about signal flow graphs, we can use coinductive string diagrams to reason about feedback monoidal categories. As an example, we study syntax for a stochastic dataflow language, with semantics in stochastic monoidal streams. Comment: Expanded version of Monoidal Streams for Dataflow Programming, arXiv:2202.02061. We thank the reviewers at LMCS for multiple suggestions that have improved this version. 57 pages, 33 figures |
نوع الوثيقة: | Working Paper |
الوصول الحر: | http://arxiv.org/abs/2212.14494Test |
رقم الانضمام: | edsarx.2212.14494 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |