10 February 2022, 14:00, CYB-101

Speaker

Mario Román

Title

Premonoidal streams

Abstract

We introduce a generalization of causal stream functions to premonoidal categories (and Freyd categories). In the same way that streams provide semantics to dataflow programming with pure functions, premonoidal streams provide semantics to dataflow programming with processes represented by a symmetric premonoidal category. We discuss some particular examples and how to implement them. This is joint work with Elena Di Lavore and Giovanni de Felice.