We now introduce the mathematics of the framework for generalised probabilistic theories that we use in this paper (those familiar with this topic can skim this section for notation and proceed to Section ).
For simplicity we present the mathematical bare bones of the framework, but note that this can be derived from the basic operational ideas regarding the classical interface for a theory [1]}, [2]}.
The framework we present here is closely related to many other approaches to generalised probabilistic theories (e.g., [3]}, [4]}, [5]}, [6]}, [7]}, [8]}, [9]}), but, in particular to the work of [10]} and [11]} which also take a diagrammatic framework as a foundation.
