Showing cs.LOShow all
2 papers · 1 filter
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,…