Underlying the classical thermodynamic principles are analogous microscopic laws, arising
from the fundamental axioms of quantum mechanics. These define quantum thermodynamic …

We provide a new characterisation of quantum supermaps in terms of an axiom that refers
only to sequential and parallel composition. Consequently, we generalize quantum …

The notion of a joint system, as captured by the monoidal (aka tensor) product, is
fundamental to the compositional, process-theoretic approach to physical theories …

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 …

Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories
of physics in terms of the (im) possibility to implement certain abstract" tasks" by means of …

The formalism of quantum theory over discrete systems is extended in two significant ways.
First, quantum evolutions are generalized to act over entire network configurations, so that …

We introduce a notion of compatibility between constraint encoding and compositional
structure. Phrased in the language of category theory, it is given by a" composable constraint …

In this thesis of two Parts, we investigate the application of categorical methods to modelling
post-quantum theories. In Part I we study hyper-decoherence between quantum-like …

Tensors and traceouts are generalised, so that systems can be partitioned according to
almost arbitrary logical predicates. One might have feared that the familiar interrelations …