5 papers
A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
Wojciech Różowski, Robin Piedeleu, Alexandra Silva +1
Behavioural distances provide a quantitative approach to comparing the states of transition systems, moving beyond traditional Boolean notions of equivalence. In this paper, we dev…
A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva +1
We extend the synthetic theories of discrete and Gaussian categorical probability by introducing a diagrammatic calculus for reasoning about hybrid probabilistic models in which co…
Graphical Quadratic Algebra
Dario Stein, Fabio Zanasi, Robin Piedeleu +1
Convex analysis and Gaussian probability are tightly connected, as mostly evident in the theory of linear regression. Our work introduces an algebraic perspective on such relations…
The Algebra of Parity Games
Robin Piedeleu
In recent work, Watanabe, Eberhart, Asada, and Hasuo have shown that parity games can be seen as string diagrams, that is, as the morphisms of a symmetric monoidal category, an alg…
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi
String diagrams are pictorial representations for morphisms of symmetric monoidal categories. They constitute an intuitive and expressive graphical syntax, which has found applicat…