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: | J.R.B. Cockett, Cole Comfort |
---|---|
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 |
Similar Items
-
The Category CNOT
by: Robin Cockett, et al.
Published: (2018-02-01) -
Categories of Sets and Models of Set Theory
by: Cole, J. C.
Published: (1972) -
Dose Optimization in TOF-PET/MR Compared to TOF-PET/CT.
by: Marcelo A Queiroz, et al.
Published: (2015-01-01) -
Nontargeted discovery of xenobiotics in human urine by MALDI-TOF/TOF-MS
Published: () -
Astrophysics at n_TOF facility
by: G. Tagliente, U. Abbondanno, G. Aerts, H. Alvarez, F. Alvarez-Velarde, S. Andriamonje, J. Andrzejewski, P. Assimakopoulos, L. Audouin, G. Badurek, P. Baumann, F. Becvar, F. Belloni, E. Berthoumieux, S. Bisterzo, F. Calvino, M. Calviani, D. Cano-Ott, R. Capote, C. Carrapico, P. Cennini, V. Chepel, E. Chiaveri, N. Colonna, G. Cortes, A. Couture, J. Cox, M. Dahlfors, S. David, I. Dillman, C. Domingo-Pardo, W. Dridi, I. Duran, C. Eleftheriadis, M. Embid-Segura, L. Ferrant, A. Ferrari, R. Ferreira-Marques, K. Fujii, W. Furman, R. Gallino, I. Goncalves, E. Gonzalez-Romero, F. Gramegna, C. Guerrero, F. Gunsing, B. Haas, R. Haight, M. Heil, A. Herrera-Martinez, M. Igashira, E. Jericha, F. Kappeler, Y. Kadi, D. Karadimos, D. Karamanis, M. Kerveno, P. Koehler, E. Kossionides, M. Krticka, C. Lamboudis, H. Leeb, A. Lindote, I. Lopes, M. Lozano, S. Lukic, J. Marganiec, S. Marrone, T. Martinez, C. Massimi, P. Mastinu, A. Mengoni, P. M.Milazzo, C. Moreau, M. Mosconi, F. Neves, H. Oberhummer, S. O'Brien, J. Pancin, C. Papachristodoulou, C. Papadopoulos, C. Paradela, N. Patronis, A. Pavlik, P. Pavlopoulos, L. Perrot, M. T. Pigni, R. Plag, A. Plompen, A. Plukis, A. Poch, J. Praena, C. Pretel, J. Quesada, T. Rauscher, R. Reifarth, C. Rubbia, G. Rudolf, P. Rullhusen, J. Salgado, C. Santos, L. Sarchiapone, I. Savvidis, C. Stephan, J. L. Tain, L. Tassan-Got, L. Tavora, R. Terlizzi, G. Vannini, P. Vaz, A. Ventura, D. Villamarin, M. C. Vincente, V. Vlachoudis, R. Vlastou, F. Voss, S. Walter, H. Wendler, M. Wiescher, K. Wisshak
Published: (2009-09-01)