Abstract 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. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. 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. Previous 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, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including 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.
Abstract 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. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. 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. Previous 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, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including 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.
This paper explores the application of category theory to provide a semantic framework for quantum vector spaces, which are fundamental to quantum mechanics and quantum information. We move beyond the traditional algebraic and analytical descriptions of Hilbert spaces to adopt a more abstract, compositional, and graphical approach rooted in monoidal categories. This categorical perspective allows for a unified understanding of quantum phenomena, including superposition, entanglement, and measurement, by representing quantum systems as objects and processes as morphisms. We delve into the concept of compact closed categories and dagger symmetric monoidal categories as the appropriate mathematical structures to capture the essential features of quantum theory, such as duality, adjoints, and the tensor product for composite systems. Furthermore, the paper discusses how graphical calculi, arising from these categorical structures, offer an intuitive and rigorous method for reasoning about quantum protocols and computations, facilitating the design and verification of quantum algorithms. By providing a high-level, axiomatic framework, categorical semantics clarifies the foundational principles of quantum mechanics and opens new avenues for developing quantum programming languages and understanding the interplay between quantum information and computation.
Introduction Our starting point is a particular “canvas” aimed to “draw” theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this chapter, we consider the conceptual foundations for this canvas and how these can then be converted into mathematical structure. With very little structural effort (i.e., in very abstract terms) and in a very short time span, the categorical quantum mechanics (CQM) research program, initiated by Abramsky and this author, has reproduced a surprisingly large fragment of quantum theory [3, 45, 48, 56, 60–62, 170, 179]. It also provides new insights both in quantum foundations and in quantum information —for example, in [49–51, 58, 59, 64, 79, 80]—and has even resulted in automated reasoning software called quantomatic [71–73], which exploits the deductive power of CQM, which is indeed a categorical quantum logic [77]. In this chapter, we complement the available material by not requiring prior knowledge of category theory and by pointing at connections to previous and current developments in the foundations of physics. This research program is also in close synergy with developments elsewhere—for example, in representation theory [74], quantum algebra [176], knot theory [187], topological quantum field theory (TQFT) [132], and several other areas.
Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using symmetric monoidal categories. This leads to an elegant formalism for describing quantum protocols such as quantum teleportation. In particular, categorical quantum mechanics provides a graphical calculus that exposes the information flow of such protocols in an intuitive way. However, the graphical calculus also reveals surprising features of these protocols; for example, in the quantum teleportation protocol, information appears to flow `backwards-in-time'. This leads to question of how causal structure can be described within categorical quantum mechanics, and how this might lead to insight regarding the structural compatibility between quantum theory and relativity. This thesis is concerned with the project of formalising causal structure in categorical quantum mechanics. We begin by studying an abstract view of Bell-type experiments, as described by `no-signalling boxes', and we show that under time-reversal no-signalling boxes generically become signalling. This conflicts with the underlying symmetry of relativistic causal structure. This leads us to consider the framework of categorical quantum mechanics from the perspective of relativistic causal structure. We derive the properties that a symmetric monoidal category must satisfy in order to describe systems in such a background causal structure. We use these properties to define a new type of category, and this provides a formal framework for describing protocols in spacetime. We explore this new structure, showing how it leads to an understanding of the counter-intuitive information flow of protocols in categorical quantum mechanics. We then find that the formal properties of our new structure are naturally related to axioms for reconstructing quantum theory, and we show how a reconstruction scheme based on purification can be formalised using the structures of categorical quantum mechanics. Finally, we discuss the philosophical aspects of using category theory to describe fundamental physics. We consider a recent argument that category-theoretic formulations of physics, such as categorical quantum mechanics, can be used to support a variant of structural realism. We argue against this claim. The work of this thesis suggests instead that the philosophy of categorical quantum mechanics is subtler than either operationalism or realism.
Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using symmetric monoidal categories. This leads to an elegant formalism for describing quantum protocols such as quantum teleportation. In particular, categorical quantum mechanics provides a graphical calculus that exposes the information flow of such protocols in an intuitive way.
However, the graphical calculus also reveals surprising features of these protocols; for example, in the quantum teleportation protocol, information appears to flow `backwards-in-time'. This leads to question of how causal structure can be described within categorical quantum mechanics, and how this might lead to insight regarding the structural compatibility between quantum theory and relativity.
This thesis is concerned with the project of formalising causal structure in categorical quantum mechanics.
We begin by studying an abstract view of Bell-type experiments, as described by `no-signalling boxes', and we show that under time-reversal no-signalling boxes generically become signalling. This conflicts with the underlying symmetry of relativistic causal structure.
This leads us to consider the framework of categorical quantum mechanics from the perspective of relativistic causal structure. We derive the properties that a symmetric monoidal category must satisfy in order to describe systems in such a background causal structure.
We use these properties to define a new type of category, and this provides a formal framework for describing protocols in spacetime. We explore this new structure, showing how it leads to an understanding of the counter-intuitive information flow of protocols in categorical quantum mechanics. We then find that the formal properties of our new structure are naturally related to axioms for reconstructing quantum theory, and we show how a reconstruction scheme based on purification can be formalised using the structures of categorical quantum mechanics. Finally, we discuss the philosophical aspects of using category theory to describe fundamental physics. We consider a recent argument that category-theoretic formulations of physics, such as categorical quantum mechanics, can be used to support a variant of structural realism. We argue against this claim. The work of this thesis suggests instead that the philosophy of categorical quantum mechanics is subtler than either operationalism or realism.
Quantum mechanics exhibits many counter-intuitive features, which challenge our classical understanding of the world. This makes the theory simultaneously difficult to grasp, and a source of great potential for new technologies. We study various characteristics of classical and quantum mechanics and their respective roles in computation. This is interesting from a philosophical perspective, as it brings us a small step closer to understanding the nature of quantum mechanics. Furthermore, it leads us to discover scenarios where quantum resources provide a genuine advantage over classical resources, as well as more intuitive ways to model quantum protocols. Firstly, we explore the concept of quantum contextuality, which distinguishes uniquely-quantum experimental outcomes from outcomes that can be realised classically. In pursuit of a universal theory of contextuality, we unify two abstract frameworks: the sheaf-theoretic approach to contextuality by Abramsky and Brandenburger and the equivalence-based approach by Spekkens. We apply the sheaf-theoretic formalism to the field of communication complexity. We derive a bound on the success probability of a communication complexity protocol, based on the amount of contextuality present in its quantum resource. We provide a set of necessary conditions for distributed functions that allow a contextual advantage. Secondly, we consider a family of bicategorical models to describe the interaction of classical and quantum information in quantum protocols. We prove that this family is symmetric monoidal, and therefore suitable for describing compound and parallel protocols. This family serves as a mathematical foundation for the planar language for quantum protocols by Vi- cary. Important examples of this family are the bicategories 2Hilb and 2Vect. Additionally, we introduce the structure 2[CP∗[FHilb]], which contains a symmetric monoidal bicategory of mixed states and completely positive maps. This allows a unified description of quantum teleportation and classical encryption in a single 2-category, as well as a universal security proof applicable simultaneously to both scenarios. As part of the process, we develop extensive categorical machinery for constructing symmetric monoidal structures of bicategories, pseudo functors, pseudo transformations and modifications. We consider a method of constructing symmetric monoidal bicategories from symmetric monoidal double categories. We show that this method can be generalised to a functor from the locally cubical bicategory of monoidal double categories to the locally cubical bicategory of monoidal bicategories.
. A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories , and categorical quantum mechanics . The aim of the present paper is to establish strong connections between these two formalisms. We show how models of categorical quantum mechanics have representations as operational theories. We then show how non-locality can be formulated at this level of generality, and study a number of examples from this point of view, including Hilbert spaces, sets and relations, and stochastic maps. The local, quantum, and no-signalling models are characterized in these terms. Introduction. A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories [48, 41, 52, 47], and categorical quantum mechanics [6, 7]. • Operational theories allow general formulations of results in quantum foundations and quantum information [11, 12, 10]. They also play a prominent rôle in current work on axiomatizations of quantum mechanics [36, 19, 49, 25]. • Categorical quantum mechanics enables a high-level approach to quantum information and quantum foundations, which can be presented in terms of string-diagram representations of structures in monoidal categories [7]. This has proved very effective in providing a conceptually illuminating and technically powerful perspective on a range of topics, including quantum protocols [6], entanglement [24], measurement-based quantum computing [29], no-cloning [1], and non-locality [22]. The aim of the present paper is to establish strong connections between these two formalisms. We shall begin by reviewing operational theories. We then show how a proper formulation of compound systems within the operational framework leads to a view of operational theories as representations of monoidal categories of a particular form. We call these operational representations .