Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
COINDUCTIVE STREAMS IN MONOIDAL CATEGORIES. |
| Συγγραφείς: |
DI LAVORE, ELENA, DE FELICE, GIOVANNI, ROMÁN, MARIO |
| Πηγή: |
Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-52, 52p |
| Θεματικοί όροι: |
Monoidal categories, Stochastic processes, Data flow computing, Flowgraphs, Stream measurements |
| Περίληψη: |
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 arbitrary processes. Monoidal streams also form a feedback monoidal category. In the same way that the coinductive stream calculus reasons about signal flow graphs, coinductive string diagrams reason about feedback monoidal categories, with semantics in monoidal streams. We highlight the probabilistic case, characterizing probabilistic streams as causal stochastic processes. [ABSTRACT FROM AUTHOR] |
|
Copyright of Logical Methods in Computer Science (LMCS) is the property of Logical Methods in Computer Science and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Complementary Index |