DeepAI AI Chat
Log In Sign Up

Bialgebraic Semantics for String Diagrams

by   Filippo Bonchi, et al.

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 a monad) and its dynamics (an endofunctor). This setup is instrumental in showing that a semantic specification (a coalgebra) satisfies desirable properties: in particular, that it is compositional. In this work, we use the bialgebraic approach to derive well-behaved structural operational semantics of string diagrams, a graphical syntax that is increasingly used in the study of interacting systems across different disciplines. Our analysis relies on representing the two-dimensional operations underlying string diagrams in various categories as a monad, and their bialgebraic semantics in terms of a distributive law over that monad. As a proof of concept, we provide bialgebraic compositional semantics for a versatile string diagrammatic language which has been used to model both signal flow graphs (control theory) and Petri nets (concurrency theory). Moreover, our approach reveals a correspondence between two different interpretations of the Frobenius equations on string diagrams and two synchronisation mechanisms for processes, à la Hoare and à la Milner.


page 1

page 2

page 3

page 4


An Introduction to String Diagrams for Computer Scientists

This document is an elementary introduction to string diagrams. It takes...

Interacting Hopf Algebras: the theory of linear systems

As first main contribution, this thesis characterises the PROP SVk of li...

String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure

Symmetric monoidal theories (SMTs) generalise algebraic theories in a wa...

The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition

String diagrams are an increasingly popular algebraic language for the a...

A String Diagrammatic Axiomatisation of Finite-State Automata

We develop a fully diagrammatic approach to the theory of finite-state a...

Hierarchical string diagrams and applications

This is a tutorial text giving an advanced introduction to the diagramma...

Inductive diagrams for causal reasoning

The Lamport diagram is a pervasive and intuitive tool for informal reaso...