19 citations · 61 across the 10 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 1 cited
Coinductive Streams in Monoidal Categories
Elena Di Lavore, Giovanni de Felice, Mario Román
We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoi…
math.CT2022★ 2 cited
Promonads and String Diagrams for Effectful Categories
Mario Román
Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the…
cs.LO2022★ 1 cited
Monoidal Streams for Dataflow Programming
Elena Di Lavore, Giovanni de Felice, Mario Román
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…