Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: The Category TOF
(Submitted on 27 Apr 2018 (v1), revised 19 Jan 2019 (this version, v3), latest version 29 Jan 2019 (v4))
Abstract: We provide a complete set of identities for the symmetric monoidal category, $\sf 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 $\sf cnot$ gate with computational ancillary bits. Thus, first it is shown that $\sf TOF$ is a discrete inverse category in which all of the identities for the $\sf cnot$ gate hold; and then a normal form for the restriction idempotents is constructed which corresponds precisely to subobjects of the total points of $\sf TOF$. This is then used to show that $\sf TOF$ is equivalent to ${\sf FPinj}_2$, the full subcategory of sets and partial isomorphisms in which objects have cardinality $2^n$ for some $n \in \mathbb{N}$.
Submission history
From: Cole Comfort [view email] [via SELENA proxy][v1] Fri, 27 Apr 2018 06:52:42 GMT (59kb)
[v2] Wed, 2 May 2018 03:00:53 GMT (59kb)
[v3] Sat, 19 Jan 2019 00:15:50 GMT (62kb)
[v4] Tue, 29 Jan 2019 06:59:28 GMT (56kb,D)
Link back to: arXiv, form interface, contact.