12 citations · 39 across the 13 of their papers we have counts for
13 papers · 1 filter
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…
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…
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva +1
We introduce a sound and complete equational theory capturing equivalence of discrete probabilistic programs, that is, programs extended with primitives for Bernoulli distributions…
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…
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu, Fabio Zanasi
This document is an elementary introduction to string diagrams. It takes a computer science perspective: rather than using category theory as a starting point, we build on intuitio…
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Robin Piedeleu, Fabio Zanasi
We develop a fully diagrammatic approach to finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of stri…
A Complete Diagrammatic Calculus for Boolean Satisfiability
Tao Gu, Robin Piedeleu, Fabio Zanasi
We propose a calculus of string diagrams to reason about satisfiability of Boolean formulas, and prove it to be sound and complete. We then showcase our calculus in a few case stud…
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…
Graphical Piecewise-Linear Algebra
Guillaume Boisseau, Robin Piedeleu
Graphical (Linear) Algebra is a family of diagrammatic languages allowing to reason about different kinds of subsets of vector spaces compositionally. It has been used to model var…
Contextual Equivalence for Signal Flow Graphs
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski +1
We extend the signal flow calculus---a compositional account of the classical signal flow graph model of computation---to encompass affine behaviour, and furnish it with a novel op…
Bialgebraic Semantics for String Diagrams
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski +1
Turi and Plotkin's bialgebraic semantics is an abstract approach to specifying the operational semantics of a system, by means of a distributive law between its syntax (encoded as…
Interacting Conceptual Spaces I : Grammatical Composition of Concepts
Joe Bolt, Bob Coecke, Fabrizio Genovese +3
The categorical compositional approach to meaning has been successfully applied in natural language processing, outperforming other models in mainstream empirical language processi…