Codice QR

The Category CNOT

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 ancillæ. We prove that CNOT is a discrete inverse category. Moreover, we prove that CNOT is equivalent to the category of partial isomorphisms...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autori principali: Robin Cockett, Cole Comfort, Priyaa Srinivasan
Natura: Artigo
Lingua:Inglês
Pubblicazione: Open Publishing Association 2018-02-01
Serie:Electronic Proceedings in Theoretical Computer Science
Accesso online:http://arxiv.org/pdf/1707.02348v2
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!