The Category TOF
We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the functor which evaluates circuits on total points, is an equivalence into the full subcategory of sets and partial isomo...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2019-01-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1804.10360v4 |
id |
doaj-19fe097f4e674587bad23fd8591896c7 |
---|---|
record_format |
Article |
spelling |
doaj-19fe097f4e674587bad23fd8591896c72020-11-25T02:43:14ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-01-01287Proc. QPL 2018678410.4204/EPTCS.287.4:54The Category TOFJ.R.B. Cockett0Cole Comfort1 University of Calgary University of Calgary We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the functor which evaluates circuits on total points, is an equivalence into the full subcategory of sets and partial isomorphisms with objects finite powers of the two element set. The structure of the proof builds – and follows the proof of Cockett et al. – which provided a full set of identities for the cnot gate with computational ancillary bits. Thus, first it is shown that TOF is a discrete inverse category in which all of the identities for the cnot gate hold; and then a normal form for the restriction idempotents is constructed which corresponds precisely to subobjects of the total points of TOF. This is then used to show that TOF is equivalent to FPinj2, the full subcategory of sets and partial isomorphisms in which objects have cardinality a power of 2.http://arxiv.org/pdf/1804.10360v4 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
J.R.B. Cockett Cole Comfort |
spellingShingle |
J.R.B. Cockett Cole Comfort The Category TOF Electronic Proceedings in Theoretical Computer Science |
author_facet |
J.R.B. Cockett Cole Comfort |
author_sort |
J.R.B. Cockett |
title |
The Category TOF |
title_short |
The Category TOF |
title_full |
The Category TOF |
title_fullStr |
The Category TOF |
title_full_unstemmed |
The Category TOF |
title_sort |
category tof |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2019-01-01 |
description |
We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the functor which evaluates circuits on total points, is an equivalence into the full subcategory of sets and partial isomorphisms with objects finite powers of the two element set. The structure of the proof builds – and follows the proof of Cockett et al. – which provided a full set of identities for the cnot gate with computational ancillary bits. Thus, first it is shown that TOF is a discrete inverse category in which all of the identities for the cnot gate hold; and then a normal form for the restriction idempotents is constructed which corresponds precisely to subobjects of the total points of TOF. This is then used to show that TOF is equivalent to FPinj2, the full subcategory of sets and partial isomorphisms in which objects have cardinality a power of 2. |
url |
http://arxiv.org/pdf/1804.10360v4 |
work_keys_str_mv |
AT jrbcockett thecategorytof AT colecomfort thecategorytof AT jrbcockett categorytof AT colecomfort categorytof |
_version_ |
1724770703487533056 |