79 citations · 365 across the 37 of their papers we have counts for
43 papers
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…
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…
A Categorical Approach to DIBI Models
Tao Gu, Jialu Bao, Justin Hsu +2
The logic of Dependence and Independence Bunched Implications (DIBI) is a logic to reason about conditional independence (CI); for instance, DIBI formulas can characterise CI in pr…
String Diagrams for -calculi and Functional Computation
Dan Ghica, Fabio Zanasi
This tutorial gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the…
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…
Data-Parallel Algorithms for String Diagrams
Paul Wilson, Fabio Zanasi
We give parallel algorithms for string diagrams represented as structured cospans of ACSets. Specifically, we give linear (sequential) and logarithmic (parallel) time algorithms fo…
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…
String Diagrams for Layered Explanations
Leo Lobski, Fabio Zanasi
We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been a…
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…
Categories of Differentiable Polynomial Circuits for Machine Learning
Paul Wilson, Fabio Zanasi
Reverse derivative categories (RDCs) have recently been shown to be a suitable semantic framework for studying machine learning algorithms. Whereas emphasis has been put on trainin…
String diagrams for Strictification and Coherence
Paul Wilson, Dan Ghica, Fabio Zanasi
Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict mo…
String Diagram Rewrite Theory III: Confluence with and without Frobenius
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
In this paper we address the problem of proving confluence for string diagram rewriting, which was previously shown to be characterised combinatorically as double-pushout rewriting…
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger +1
We enhance the calculus of string diagrams for monoidal categories with hierarchical features in order to capture closed monoidal (and cartesian closed) structure. Using this new s…
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition
Paul Wilson, Fabio Zanasi
String diagrams are an increasingly popular algebraic language for the analysis of graphical models of computations across different research fields. Whereas string diagrams have b…
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
Symmetric monoidal theories (SMTs) generalise algebraic theories in a way that make them suitable to express resource-sensitive systems, in which variables cannot be copied or disc…
Categorical Foundations of Gradient-Based Learning
G. S. H. Cruttwell, Bruno Gavranović, Neil Ghani +2
We propose a categorical semantics of gradient-based machine learning algorithms in terms of lenses, parametrised maps, and reverse derivative categories. This foundation provides…
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits
Paul Wilson, Fabio Zanasi
We introduce Reverse Derivative Ascent: a categorical analogue of gradient based methods for machine learning. Our algorithm is defined at the level of so-called reverse differenti…
Coalgebraic Semantics for Probabilistic Logic Programming
Tao Gu, Fabio Zanasi
Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming…
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
String diagrams are a powerful and intuitive graphical syntax, originated in the study of symmetric monoidal categories. In the last few years, they have found application in the m…
A String Diagrammatic Axiomatisation of Finite-State Automata
Robin Piedeleu, Fabio Zanasi
We develop a fully diagrammatic approach to the theory of finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional…
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness
Tobias Kappé, Paul Brunet, Alexandra Silva +2
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel composition operator, which enables reasoning about concurrent programs. However, CKA fundamentally mis…
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…