A link between quantum logic and categorical quantum mechanics
type: Item
instance of: scholarly article
title: A link between quantum logic and categorical quantum mechanics
zbMATH Open document ID: 1180.81006
author: John Harding
published in: International Journal of Theoretical Physics
publication date: 2009-10-09T00:00:00Z
review text: \textit{S. Abramsky} and \textit{B. Coecke} [Proc. 19th Annual IEEE Symp. on Logic in Computer Sci, pp. 415--425, IEEE Comput. Soc., New York, (2004)] have introduced an approach to finite-dimensional quantum mechanics in the abstract setting of strongly compact closed categories with biproducts. The author of the paper under review aims to connect this approach to the quantum logic approach initiated by Birkhoff and von Neumann. He demonstrates that a number of features of the quantum logic approach fit nicely in the categorical approach. Many results obtained by Abramsky and Coecke are shown to be valid in the more general dagger (alias involutive) biproduct categories, some other require also a compatible symmetric monoidal tensor. Besides a general introduction, the paper contains sections which provides a background on digger biproduct categories and such categories with a symmetric monoidal tensor. In other sections, weak projections and projections of an object \(A\) in a digger biproduct category are introduced. Weak projections form an orthomodular projection, while projections form even an orthoalgebra \(\text{proj}A\). Then symmetric monoidal tensors compatible with both dagger and biproducts are introduced in the categories considered. The endomorphisms of the tensor unit in dagger biproduct symmetric monoidal categories form a commutative semiring, the semiring of scalars. The orthoalgebra \(\text{proj}(A \otimes B)\) satisfies several physically motivated conditions. Finally, the discussed notions are considered in the category of sets and relations, in the category of finite dimensional Hilbert spaces and in the category of matrices over a field. [Reviewer's remark: This paper could be of interest both to people working in categorical foundations of quantum mechanics and to those working in quantum logic. Another categorical approach to quantum theory initiated by Butterfield and Isham involves topos theory -- see a recent paper by \textit{C. Heunen, …
reviewed by: Jānis Cīrulis
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 81P05
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 81Q99
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 15A66
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 5612771
zbMATH Keywords: biproducts
zbMATH Keywords: orthomodular
zbMATH Keywords: dagger category
zbMATH Keywords: strongly compact closed category
zbMATH Keywords: quantum logic
zbMATH Keywords: tensor products
MaRDI profile type: Publication
full work available at URL: s10773-008-9853-4
OpenAlex ID: W2062251184
cites work: Algebra and Coalgebra in Computer Science
cites work: Abstract Physical Traces
cites work: Tensor Product of Difference Posets
cites work: Filters and supports in orthoalgebras
cites work: Q5698899
cites work: Tensor products of orthoalgebras
cites work: Q5682456
cites work: Decompositions in Quantum Logic
cites work: Orthomodularity of decompositions in a categorical setting
cites work: Parametrization of self-dual codes by orthogonal matrices
cites work: Q4750696
cites work: Q3975479
cites work: Coherence for compact closed categories
cites work: Q5723020
cites work: Q4100556
cites work: Orthomodular structures as quantum logics. Transl. from the Slovak
DOI: 10.1007/S10773-008-9853-4
description: scientific article; zbMATH DE number 5612771