Spekkens's toy theory as a category of processes

Bob Coecke, Bill Edwards

We provide two mathematical descriptions of Spekkens's toy qubit theory, an inductively one in terms of a small set of generators, as well as an explicit closed form description. I…