3 papers
cs.LO2025
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…
cs.LO2025
Evidential Decision Theory via Partial Markov Categories
Elena Di Lavore, Mario Román
We introduce partial Markov categories. In the same way that Markov categories encode stochastic processes, partial Markov categories encode stochastic processes with constraints,…
math.CT2024
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…