An abstract approach to entanglement

Reasoning about quantum entanglement is fundamental to understanding many quantum systems and, in particular, measurement-based models of quantum computation. I demonstrate how entangled systems can be represented in a high level categorical setting and use a graphical representation of this language to prove the equivalence of some one-way programs to quantum circuit.