Bicategorical semantics for nondeterministic computation

Electronic Notes in Theoretical Computer Science

Volumn 298, Issue , 2013, Pages 367-382

  Stay, Mike ^a,b   Vicary, Jamie ^c,d  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

^b Biosimilarity LLC   (United States)

^c NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^d UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Categories; geometry; security

Indexed keywords

CATEGORIES; CLASSICAL COMPUTING; CLASSICAL INFORMATION; ENCRYPTED COMMUNICATION; NONDETERMINISTIC COMPUTATION; PRIVATE INFORMATION; QUANTUM TELEPORTATION; SECURITY;

GEOMETRY;

SEMANTICS;

EID: 84888061008     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2013.09.022     Document Type: Conference Paper

References (12)

1. Samson Abramsky, and Bob Coecke A categorical semantics of quantum protocols Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science 2004 IEEE Computer Science Press 415 425
2. John Baez, and Michael Stay Physics, Topology, Logic, and Computation: A Rosetta Stone 813 2011 95 172 Springer
3. Charles H. Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, and William K. Wootters Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels Physical Review Letters 70 13 1993 1895 1899
4. Francis Borceux Handbook of Categorical Algebra Vol. 1 1994 CUP
5. Daniel Collins, and Sandu Popescu A classical analogue of entanglement Physical Review A 65 3 2001
6. Aaron D. Lauda Frobenius algebras and ambidextrous adjunctions Theory and Applications of Categories 16 4 2006 84 122
7. Saunders Mac Lane Categories for the Working Mathematician 2nd edition 1997 Springer
8. Jonathan Oppenheim, Rob Spekkens, Andreas Winter, A classical analogue of negative information, 2005.
9. Peter Selinger New Structures for Physics, chapter A Survey of Graphical Languages for Monoidal Categories 2011 Springer 289 355
10. Mike Stay Compact closed bicategories arXiv:1301.1053 2013
11. Ross Street Low-dimensional topology and higher-order categories Proceedings of Category Theory 2005 1995
12. Jamie Vicary, Higher semantics of quantum protocols, in: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012.