3 papers
cs.LO2023
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,…
cs.LO2022
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.LO2022
Monoidal Width
Elena Di Lavore, Paweł Sobociński
We introduce monoidal width as a measure of complexity for morphisms in monoidal categories. Inspired by well-known structural width measures for graphs, like tree width and rank w…