This paper develops practical summation techniques in ZXW calculus to reason about
quantum dynamics, such as unitary time evolution. First we give a direct representation of a …

Quantum theory is often regarded as challenging to learn and teach, with advanced
mathematical prerequisites ranging from complex numbers and probability theory to matrix …

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 …

We introduce a novel compositional description of Feynman diagrams, with well-defined
categorical semantics as morphisms in a dagger-compact category. Our chosen setting is …

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 …

While the ZX and ZW calculi have been effective as graphical reasoning tools for finite-
dimensional quantum computation, the possibilities for continuous-variable quantum …

Modelling concept representation is a foundational problem in the study of cognition and
linguistics. This work builds on the confluence of conceptual tools from G\" ardenfors …

We build upon our recently introduced concept of an update structure to show that it is a
generalisation of very-well-behaved lenses, that is, there is a bijection between a strict …

This paper is a 'spiritual child'of the 2005 lecture notes Kindergarten Quantum Mechanics
[23], which showed how a simple, pictorial extension of Dirac notation allowed several …