String diagrams are a powerful and intuitive graphical syntax, originating in theoretical
physics and later formalised in the context of symmetric monoidal categories. In recent …

Graphical linear algebra is a diagrammatic language allowing to reason compositionally
about different types of linear computing devices. In this paper, we extend this formalism with …

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 intuitions from …

We introduce monoidal streams: a generalization of causal stream functions to monoidal
categories. In the same way that streams provide semantics to dataflow programming with …

This paper is a 'spiritual child'of the 2005 lecture notes Kindergarten Quantum Mechanics
Coecke (2005)[24], which showed how a simple, pictorial extension of Dirac notation …

The de-facto standard approach in MDP verification is based on value iteration (VI). We
propose compositional VI, a framework for model checking compositional MDPs, that …

We present a compositional model checking algorithm for Markov decision processes, in
which they are composed in the categorical graphical language of string diagrams. The …

We investigate causal computations, which take sequences of inputs to sequences of
outputs such that the nth output depends on the first n inputs only. We model these in …

We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the
calculus of binary relations that has the same expressivity as first order logic and comes with …

Feedback and state are closely interrelated concepts. Categories with feedback, originally
proposed by Katis, Sabadini and Walters, are a weakening of the notion of traced monoidal …