A reconstruction of quantum theory refers to both a mathematical and a conceptual
paradigm that allows one to derive the usual formulation of quantum theory from a set of …

In this paper, we develop a graphical calculus to rewrite photonic circuits involving light-
matter interactions and non-linear optical effects. We introduce the infinite ZW calculus, a …

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 …

We define a pure effect theory (PET) to be an effect theory where the pure maps form a
dagger-category and filters and compressions are adjoint. We show that any convex finite …

Quantum supermaps provide a framework in which higher order quantum processes can act
on lower order quantum processes. In doing so, they enable the definition and analysis of …

We provide a construction for holes into which morphisms of abstract symmetric monoidal
categories can be inserted, termed the polyslot construction pslot [C], and identify a sub …

We present a compositional algebraic framework to describe the evolution of quantum fields
in discretised spacetimes. We show how familiar notions from Relativity and quantum …

We use tools from non-standard analysis to formulate the building blocks of quantum field
theory within the framework of categorical quantum mechanics. Building upon previous …

We present a diagrammatic approach to quantum dynamics based on the categorical
algebraic structure of strongly complementary observables. We provide physical semantics …

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