2 citations · 4 across the 5 of their papers we have counts for
6 papers
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,…
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…
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…
Monoidal Width: Capturing Rank Width
Elena Di Lavore, Paweł Sobociński
Monoidal width was recently introduced by the authors as a measure of the complexity of decomposing morphisms in monoidal categories. We have shown that in a monoidal category of c…
Dialectica Petri Nets
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialect…
Compositional modelling of network games
Elena Di Lavore, Jules Hedges, Paweł Sobociński
The analysis of games played on graph-like structures is of increasing importance due to the prevalence of social networks, both virtual and physical, in our daily life. As well as…