The Category CNOT
Abstract
We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillae. We prove that CNOT is a discrete inverse category. Moreover, we prove that CNOT is equivalent to the category of partial isomorphisms of finitely-generated non-empty commutative torsors of characteristic 2. Equivalently this is the category of affine partial isomorphisms between finite-dimensional Z2 vector spaces.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2017
- DOI:
- 10.48550/arXiv.1707.02348
- arXiv:
- arXiv:1707.02348
- Bibcode:
- 2017arXiv170702348C
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Quantum Physics
- E-Print:
- In Proceedings QPL 2017, arXiv:1802.09737