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 …

Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have
recently appeared in several areas in computer science: concurrent programming, control …

There is a stark tension among different formulations of quantum theory in that some are
fundamentally time-symmetric and others are radically time-asymmetric. This tension is …

We broadly generalise Mermin-type arguments on GHZ states, and we provide exact group-
theoretic conditions for non-locality to be achieved. Our results are of interest in quantum …

We apply quantum group methods to quantum computing, starting with the notion of
interacting Frobenius Hopf algebras for ZX calculus with noncommutative algebra and …

We present a uniform framework for the treatment of a large class of toy models of quantum
theory. Specifically, we will be interested in theories of wavefunctions valued in commutative …

The study of non-locality is fundamental to the understanding of quantum mechanics. The
past 50 years have seen a number of non-locality proofs, but its fundamental building …

Applying ideas from monadic dynamics to the well-established framework of categorical
quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional …

Building on established literature and recent developments in the graph-theoretic
characterisation of its CPM category, we provide a treatment of pure state and mixed state …

By considering a generalisation of the CPM construction, we develop an infinite hierarchy of
probabilistic theories, exhibiting compositional decoherence structures which generalise the …