Dagger Compact Closed Categories and Completely Positive Maps. (Extended Abstract)

Electronic Notes in Theoretical Computer Science

Volumn 170, Issue , 2007, Pages 139-163

  Selinger, Peter ^a  

^a DALHOUSIE UNIVERSITY   (Canada)

Author keywords

Categorical model; CPM construction; dagger categories; quantum computing

Indexed keywords

COMPUTATIONAL METHODS; GRAPH THEORY; MATHEMATICAL MODELS; NETWORK PROTOCOLS; QUANTUM THEORY; SEMANTICS;

CATEGORICAL MODELS; DAGGER CATEGORIES; GRAPHICAL LANGUAGES; QUANTUM COMPUTING;

COMPUTER PROGRAMMING LANGUAGES;

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

References (10)

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. Abramsky S., and Duncan R. A categorical quantum logic. Proceedings of the 2nd International Workshop on Quantum Programming Languages. TUCS General Publication No 33 (2004), Turku Centre for Computer Science 3-20
3. Choi M.-D. Completely positive linear maps on complex matrices. Linear Algebra and its Applications 10 (1975) 285-290
4. D'Hondt E., and Panangaden P. Quantum weakest preconditions. Proceedings of the 2nd International Workshop on Quantum Programming Languages. TUCS General Publication No 33 (2004), Turku Centre for Computer Science 75-90
5. Joyal A., and Street R. The geometry of tensor calculus I. Advances in Mathematics 88 (1991) 55-112
6. Kelly G.M., and Laplaza M.L. Coherence for compact closed categories. Journal of Pure and Applied Algebra 19 (1980) 193-213
7. Mac Lane S. Categories for the Working Mathematician. Springer Graduate Texts in Mathematics 5 (1971)
8. Penrose R. Applications of negative dimensional tensors. In: Welsh D.J.A. (Ed). Combinatorial Mathematics and its Applications (1971), Academic Press, New York 221-244
9. Selinger P. Towards a quantum programming language. Mathematical Structures in Computer Science 14 (2004) 527-586
10. Selinger P. Towards a semantics for higher-order quantum computation. Proceedings of the 2nd International Workshop on Quantum Programming Languages. TUCS General Publication No 33 (2004), Turku Centre for Computer Science 127-143