Categorical Models of Quantum Circuits
It is shown that equations that hold in appropriate monoidal categories have an explicit representation in terms of quantum circuits. Hence, we adjust and map the graphical calculus of Abramsky and Coecke's categorical axiomatization of quantum theory onto quantum circuits, making a suitable ex...
| Main Author: | |
|---|---|
| Format: | Report |
| Published: |
OUCL
2015
|