research
∙
05/18/2022
Monoidal Width: Capturing Rank Width
Monoidal width was recently introduced by the authors as a measure of th...
share
research
∙
02/15/2022
Monoidal Width
We introduce monoidal width as a measure of the difficulty of decomposin...
research
∙
09/13/2021
String Diagram Rewrite Theory III: Confluence with and without Frobenius
In this paper we address the problem of proving confluence for string di...
research
∙
06/15/2021
On Doctrines and Cartesian Bicategories
We study the relationship between cartesian bicategories and a specialis...
research
∙
06/14/2021
String Diagrammatic Electrical Circuit Theory
We develop a comprehensive string diagrammatic treatment of electrical c...
research
∙
05/23/2021
Diagrammatic Polyhedral Algebra
We extend the theory of Interacting Hopf algebras with an order primitiv...
research
∙
04/29/2021
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Symmetric monoidal theories (SMTs) generalise algebraic theories in a wa...
research
∙
12/03/2020
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
String diagrams are a powerful and intuitive graphical syntax, originate...
research
∙
11/12/2020
Functorial Semantics for Partial Theories
We provide a Lawvere-style definition for partial theories, extending th...
research
∙
10/20/2020
A canonical algebra of open transition systems
Feedback and state are closely interrelated concepts. Categories with fe...
research
∙
06/05/2020
Games on graphs: a compositional approach
The analysis of games played on graph-like structures is of increasing i...
research
∙
03/20/2020
Cartesian bicategories with choice
Relational structures are emerging as ubiquitous mathematical machinery ...
research
∙
02/20/2020
Contextual Equivalence for Signal Flow Graphs
We extend the signal flow calculus—a compositional account of the classi...
research
∙
06/04/2019
Bialgebraic Semantics for String Diagrams
Turi and Plotkin's bialgebraic semantics is an abstract approach to spec...
research
∙
07/02/2018
Rule Algebras for Adhesive Categories
We show that every adhesive category gives rise to an associative algebr...
research
∙
04/20/2018
Graphical Conjunctive Queries
The Calculus of Conjunctive Queries (CCQ) has foundational status in dat...
research
∙
11/23/2017