Idempotents in Dagger Categories. (Extended Abstract)

Electronic Notes in Theoretical Computer Science

Volumn 210, Issue C, 2008, Pages 107-122

  Selinger, Peter ^a  

^a DALHOUSIE UNIVERSITY   (Canada)

Author keywords

CPM construction; dagger categories; idempotents; Quantum computing

Indexed keywords

ABSTRACTING; BANACH SPACES; CANNING; COMPUTATIONAL LINGUISTICS; HILBERT SPACES; OPTICAL PROJECTORS; PHASE MODULATION; POWDERS; QUANTUM COMPUTERS; SET THEORY;

COMPLETELY POSITIVE MAPS; HILBERT; IDEMPOTENTS; LINEAR MAPS; MORPHISMS; QUANTUM COMPUTATIONS; QUANTUM PROTOCOLS;

MAPS;

EID: 46449096742     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.021     Document Type: Article

References (7)

1. Abramsky S., and Coecke B. A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science. LICS 2004 (2004), IEEE Computer Society Press 415-425
2. Baez J.C., and Dolan J. Higher-dimensional algebra and topological quantum field theory. Jour. Math. Phys. 36 (1995) 6073-6105. available from arXiv:q-alg/9503002
3. Burgin M. γ-categories and categories with involution. Russian Mathematical Surveys 24 (1969) 221-222
4. Coecke B., and Pavlovic D. Quantum measurements without sums. In: Chen G., Kauffman L., and Lomonaco S.J. (Eds). Mathematics of Quantum Computing and Technology (2007), Chapman & Hall 559-596
5. Ghez P., Lima R., and Roberts J.E. W*-categories. Pacific Journal of Mathematics 120 (1985) 79-109
6. Selinger P. Towards a quantum programming language. Mathematical Structures in Computer Science 14 (2004) 527-586
7. Selinger P. Dagger compact closed categories and completely positive maps. Proceedings of the 3rd International Workshop on Quantum Programming Languages. Electronic Notes in Theoretical Computer Science 170 (2007) 139-163