Recently, the author and Bob Coecke have introduced a categorical formulation of Quantum Mechanics. In the present paper, we shall use it to open up a novel perspective on No-Cloning. What we shall find, quite unexpectedly, is a link to some fundamental issues in logic, computation, and the foundations of mathematics. A striking feature of our results is that they are visibly in the same genre as a well-known result by Joyal in categorical logic showing that a `Boolean cartesian closed catego...Expand abstract
- Publication date:
- Source identifiers:
- Local pid:
- Copyright date:
35 pages. Appeared in Semantic Techniques in Quantum Computation, ed.
S. Gay and I. Mackie, pages 1--28, Cambridge University Press 2010