Close Notification

Your cart does not contain any items



We can order this in for you
How long will it take?


Oxford University Press
30 September 2019
Mathematics & Sciences; Mathematics; Quantum physics (quantum mechanics & quantum field theory); Mathematical physics
Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition, and a conceptual way to understand many high-level quantum phenomena. This text lays the foundation for this categorical quantum mechanics, with an emphasis on the graphical calculus which makes computation intuitive. Biproducts and dual objects are introduced and used to model superposition and entanglement, with quantum teleportation studied abstractly using these structures. Monoids, Frobenius structures and Hopf algebras are described, and it is shown how they can be used to model classical information and complementary observables. The CP construction, a categorical tool to describe probabilistic quantum systems, is also investigated. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding.

Prior knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text links with many other areas are highlighted, such as representation theory, topology, quantum algebra, knot theory, and probability theory, and nonstandard models are presented, such as sets and relations. All results are stated rigorously, and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.
By:   Chris Heunen (Reader Reader University of Edinburgh), Jamie Vicary (Royal Society University Research Fellow, Royal Society University Research Fellow, University of Birmingham)
Imprint:   Oxford University Press
Country of Publication:   United Kingdom
Dimensions:   Height: 233mm,  Width: 155mm,  Spine: 16mm
Weight:   534g
ISBN:   9780198739616
ISBN 10:   0198739613
Series:   Oxford Graduate Texts in Mathematics
Pages:   336
Publication Date:   30 September 2019
Audience:   College/higher education ,  Primary
Format:   Paperback
Publisher's Status:   Active
0: Basics 1: Monoidal categories 2: Linear structure 3: Dual objects 4: Monoids and comonoids 5: Frobenius structure 6: Complementarity 7: Complete positivity 8: Monoidal 2-categories

Chris Heunen started his undergraduate studies at the University of Nijmegen, where he received MSc degrees in both Computer Science and Mathematics, and in 2009 a PhD degree. He then did postdoctoral research at the University of Oxford and the California Institute of Technology. His work was awarded the 2012 Birkhoff-von Neumann prize for research on quantum structures. In 2015 he joined the University of Edinburgh. Jamie Vicary did an undergraduate degree in Physics in Oxford, followed by the Part III Mathematics course in Cambridge. He did a PhD in category theory and quantum information with Christopher Isham at Imperial College London, which was awarded in 2009. Since that time he has done research into the mathematical foundations of quantum computation, with positions in Oxford, Singapore and Birmingham.

See Also