In this paper I shall outline a possibility for incorporating category theory in an essential way into the foundations of quantum theory. The role for category theory which I shall sketch here is strictly foundational in the sense that it offers no new perspectives for a physicist working within the quantum formalism, but rather provides a way of interpreting the algebraic structure by giving an alternative axiomatization of the underlying logic of the theory. The axiomatization is given without recourse to any classical set theory by invoking methods closely connected with the work of F. W. Lawvere. More precisely, then, a possible approach to the foundations of physics which axiomatizes its algebraic structure in a way which is independent of set theory and hence points, as it were, to a structuralist foundation of physical theories, will be proposed.
In this paper I shall outline a possibility for incorporating category theory in an essential way into the foundations of quantum theory. The role for category theory which I shall sketch here is strictly foundational in the sense that it offers no new perspectives for a physicist working within the quantum formalism, but rather provides a way of interpreting the algebraic structure by giving an alternative axiomatization of the underlying logic of the theory. The axiomatization is given without recourse to any classical set theory by invoking methods closely connected with the work of F. W. Lawvere. More precisely, then, a possible approach to the foundations of physics which axiomatizes its algebraic structure in a way which is independent of set theory and hence points, as it were, to a structuralist foundation of physical theories, will be proposed.
The purpose of this dissertation is to construct a radically new type of mathematics whose underlying logic differs from the ordinary classical logic used in standard mathematics, and which we feel may be more natural for applications in quantum mechanics. Specifically, we begin by constructing a first order quantum logic, the development of which closely parallels that of ordinary (classical) first order logic --- the essential differences are in the nature of the logical axioms, which, in our construction, are motivated by quantum theory. After showing that the axiomatic first order logic we develop is sound and complete (with respect to a particular class of models), this logic is then used as a foundation on which to build (axiomatic) mathematical systems --- and we refer to the resulting new mathematics as "quantum mathematics." As noted above, the hope is that this form of mathematics is more natural than classical mathematics for the description of quantum systems, and will enable us to address some foundational aspects of quantum theory which are still troublesome --- e.g. the measurement problem --- as well as possibly even inform our thinking about quantum gravity.\n\nAfter constructing the underlying logic, we investigate properties of several mathematical systems --- e.g. axiom systems for abstract algebras, group theory, linear algebra, etc. --- in the presence of this quantum logic. In the process, we demonstrate that the resulting quantum mathematical systems have some strange, but very interesting features, which indicates a richness in the structure of mathematics that is classically inaccessible. Moreover, some of these features do indeed suggest possible applications to foundational questions in quantum theory. \n\nWe continue our investigation of quantum mathematics by constructing an axiomatic quantum set theory, which we show satisfies certain desirable criteria. Ultimately, we hope that such a set theory will lead to a foundation for quantum mathematics in a sense which parallels the foundational role of classical set theory in classical mathematics. One immediate application of the quantum set theory we develop is to provide a foundation on which to construct quantum natural numbers, which are the quantum analog of the classical counting numbers. It turns out that in a special class of models, there exists a 1-1 correspondence between the quantum natural numbers and bounded observables in quantum theory whose eigenvalues are (ordinary) natural numbers. This 1-1 correspondence is remarkably satisfying, and not only gives us great confidence in our quantum set theory, but indicates the naturalness of such models for quantum theory itself. We go on to develop a Peano-like arithmetic for these new "numbers," as well as consider some of its consequences. Finally, we conclude by summarizing our results, and discussing directions for future work.
Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory.
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.
The basic notion of how topoi can be utilized in physics is presented here. Topos and category theory serve as valuable tools which extend our ordinary set-theoretical conceptions, can further the study of quantum logic and give rise to new and 'neo-realistic' descriptions of quantum physics, i.e. make possible the construction of a general scheme for quantum physics, which 'looks like' the classical one. A novel way of writing theories of physics, by representing a formal language of a physical system, into an appropriate topos, is analyzed here. This novel approach is initiated by C.J. Isham and A. Doering and the major part of this paper comes from there; however there has been an effort in simplifying the basic ideas and do this work accessible to 'less experts' of the field. A minor, but not less important, part of this paper is devoted to resuming, in a concise way the background knowledge of logic, quantum logic and category theory, that is necessary for anyone who wishes to follow the whole topos approach.
The report deals with the axiomatic approach to the phenomena of quantum computation and algorithms. It gives an overview of the classical approach (due to von Neumann) using the structures of Hilbert spaces, as well as mentions some major results in the field and discusses the flaws of the model and its current dominance. This leads to the introduction of a new axiomatization, first proposed by S. Abramsky and B. Coecke in 2007, which relies on the modern concepts of category theory. It is a field of mathematics originally created in the 1940s by specialists in algebraic topology but currently gaining popularity in other branches because of its abstract nature and emphasis on operations rather than objects. Most importantly, category theory is a powerful tool in functional analysis allowing mathematicians to reformulate the statements of Hilbert space theory in a more intuitive way, without matrix calculus. Finally, the logic behind quantum operations is discussed: it is revealed that the ideas of quantum algorithms have a strong connection to Jean-Yves Girard’s linear logic.