Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Electronic Notes in Theoretical Computer Science

Idempotents in Dagger Categories

Peter Selinger

Published Jul 1, 2008• 71 citations
Publisher

Abstract

Dagger compact closed categories were studied by Abramsky and Coecke (under the name “strongly compact closed categories”) as an abstract presentation of the category of Hilbert spaces and linear maps, and as a framework in which to carry out the interpretation of quantum protocols. I subsequently showed that dagger compact closed categories can also describe mixed quantum computation, where the morphisms are completely positive maps. I introduced the CPM construction as a way to pass from the pure to the mixed setting. One technical detail of the CPM(C) construction is that it does not preserve biproducts. Therefore, to obtain an interpretation of classical types such as bit=I⊕I, one must work in the free biproduct completion CPM(C)⊕. In this paper, we show that there is another view of classical types, namely as splittings of self-adjoint idempotents on quantum types. We show that all the objects of CPM(C)⊕ arise as such splittings.

DOI
10.1016/j.entcs.2008.04.021

Related papers

Dagger Compact Closed Categories and Completely Positive Maps

Peter Selinger

Dagger compact closed categories were recently introduced by Abramsky and Coecke, under the name “strongly compact closed categories”, as an axiomatic framework for quantum mechanics. We present a graphical language for dagger compact closed categories, and sketch a proof of its completeness for equational reasoning. We give a general construction, the CPM construction, which associates to each dagger compact closed category its “category of completely positive maps”, and we show that the resulting category is again dagger compact closed. We apply these ideas to Abramsky and Coecke's interpretation of quantum protocols, and to D'Hondt and Panangaden's predicate transformer semantics.

Electronic Notes in Theoretical Computer Science•Mar 1, 2007•391 citations

Categories of Quantum and Classical Channels (extended abstract)

Bob Coecke, Chris Heunen, Aleks Kissinger

We introduce the CP*-construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger compact closed category and forms its category of "abstract matrix algebras" and completely positive maps, the CP*-construction forms its category of "abstract C*-algebras" and completely positive maps. This analogy is justified by the case of finite-dimensional Hilbert spaces, where the CP*-construction yields the category of finite-dimensional C*-algebras and completely positive maps. The CP*-construction fully embeds Selinger's CPM-construction in such a way that the objects in the image of the embedding can be thought of as "purely quantum" state spaces. It also embeds the category of classical stochastic maps, whose image consists of "purely classical" state spaces. By allowing classical and quantum data to coexist, this provides elegant abstract notions of preparation, measurement, and more general quantum channels.

arXiv:1408.0049•Electronic Proceedings in Theoretical Computer Science•Jul 29, 2014•6 citations

Selinger's CPM construction and nuclear ideals

Kimberley Flak

Monoidal categories have recently been seen to be appropriate structures for establishing abstract axioms for quantum physics. The tensor product in a monoidal category corresponds to the creation of a composite system obtained by joining two independent quantum systems. This correspondence is formalized in the work of Abramsky-Coecke and Selinger. From this point of view, the tensor product in a monoidal category is abstracting the tensor product of Hilbert spaces. The notion of a dagger compact closed category axiomatizes further structure in the Hilbert space category. In particular, the dagger is an abstraction of the familiar Hilbert adjoint. Peter Selinger associates to each dagger compact closed category C its category of completely positive maps, denoted CPM(C). He proves that the resulting category is again a dagger compact closed category. We seek a similar result for tensored †-categories equipped with nuclear ideals. We establish an appropriate notion of completely positive maps in a nuclear ideal. We then define a CPM construction for tensored †-categories equipped with nuclear ideals. Analogous to Selinger's construction, given a nuclear ideal N for a tensored †-category C, our construction yields its category of completely positive maps, CPMN(C). We prove that CPM N(C). is again a tensored †-category. In the process, we also verify that our completely positive maps properly extend Selinger's notion of CPMs. In particular, they preserve nuclear-positive matrices, which are generalizations of von Neumann's positive density operators. As well, we characterize the completely positive maps for the nuclear ideal of Hilbert-Schmidt operators for Hilb and the nuclear ideal of finite relations for LFR. Our construction abstracts the passage from finite-dimensional Hilbert spaces to the category of all Hilbert spaces.

•Jan 1, 2006•0 citations

Axiomatic Description of Mixed States From Selinger's CPM-construction

Bob Coecke

We recast Selinger's CPM-construction of mixed states completely positive maps [P. Selinger (2007) Dagger compact closed categories and completely positive maps. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science 170, 139–163. Available from Peter Selinger's homepage] as an axiomatization of maximally mixed states. This axiomatization also guarantees categories of completely positive maps to satisfy the preparation-state agreement axiom of [Coecke, B. (2007) De-linearizing linearity: projective quantum axiomatics from strong compact closure. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science 170, 49–72. E-print: arXiv:quant-ph/0506134], and admits a physical interpretation in terms of purification of mixed states and CPMs. Internal traces, which are crucial in quantum information theory, are the adjoints to these maximally mixed states.

Electronic Notes in Theoretical Computer Science•Jul 1, 2008•38 citations

Braided Categorical Quantum Mechanics I

Spencer D. Stirling, Yong-Shi Wu

This is the first paper in a series where we generalize the Categorical Quantum Mechanics program (due to Abramsky, Coecke, et al) to braided systems. In our view a uniform description of quantum information for braided systems has not yet emerged. The picture is complicated by a diversity of examples that lacks a unifying framework for proving theorems and discovering new protocols. We use category theory to construct a high-level language that abstracts the quantum mechanical properties of braided systems. We exploit this framework to propose an axiomatic description of braided quantum information intended for topological quantum computation. In this installment we first generalize the primordial Abramsky-Coecke "quantum information flow" paradigm from compact closed categories to right-rigid strict monoidal categories. We then study dagger structures for rigid and/or braided categories and formulate a graphical dagger calculus. We then propose two generalizations of strongly compact closed categories. Finally we study partial traces in the context of dagger categories.

arXiv:0909.0988•Sep 5, 2009•2 citations

Dagger linear logic for categorical quantum mechanics

Robin Cockett, Cole Comfort, Priyaa Varshinee Srinivasan

Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes. A significant portion of quantum physics, however, involves reasoning about infinite dimensional processes, and it is well-known that the category of all Hilbert spaces is not compact closed. Thus, a limitation of using dagger compact closed categories is that one cannot directly accommodate reasoning about infinite dimensional processes. A natural categorical generalization of compact closed categories, in which infinite dimensional spaces can be modelled, is *-autonomous categories and, more generally, linearly distributive categories. This article starts the development of this direction of generalizing categorical quantum mechanics. An important first step is to establish the behaviour of the dagger in these more general settings. Thus, these notes simultaneously develop the categorical semantics of multiplicative dagger linear logic. The notes end with the definition of a mixed unitary category. It is this structure which is subsequently used to extend the key features of categorical quantum mechanics.

arXiv:1809.00275•Logical Methods in Computer Science•Nov 16, 2021•7 citations
Dagger compact closed categories were studied by Abramsky and Coecke (under the name “strongly compact closed categories”) as an abstract presentation of the category of Hilbert spaces and linear maps, and as a framework in which to carry out the interpretation of quantum protocols. I subsequently showed that dagger compact closed categories can also describe mixed quantum computation, where the morphisms are completely positive maps. I introduced the CPM construction as a way to pass from the pure to the mixed setting. One technical detail of the CPM(C) construction is that it does not preserve biproducts. Therefore, to obtain an interpretation of classical types such as bit=I⊕I, one must work in the free biproduct completion CPM(C)⊕. In this paper, we show that there is another view of classical types, namely as splittings of self-adjoint idempotents on quantum types. We show that all the objects of CPM(C)⊕ arise as such splittings.
Dagger compact closed categories were recently introduced by Abramsky and Coecke, under the name “strongly compact closed categories”, as an axiomatic framework for quantum mechanics. We present a graphical language for dagger compact closed categories, and sketch a proof of its completeness for equational reasoning. We give a general construction, the CPM construction, which associates to each dagger compact closed category its “category of completely positive maps”, and we show that the resulting category is again dagger compact closed. We apply these ideas to Abramsky and Coecke's interpretation of quantum protocols, and to D'Hondt and Panangaden's predicate transformer semantics.
We introduce the CP*-construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger compact closed category and forms its category of "abstract matrix algebras" and completely positive maps, the CP*-construction forms its category of "abstract C*-algebras" and completely positive maps. This analogy is justified by the case of finite-dimensional Hilbert spaces, where the CP*-construction yields the category of finite-dimensional C*-algebras and completely positive maps. The CP*-construction fully embeds Selinger's CPM-construction in such a way that the objects in the image of the embedding can be thought of as "purely quantum" state spaces. It also embeds the category of classical stochastic maps, whose image consists of "purely classical" state spaces. By allowing classical and quantum data to coexist, this provides elegant abstract notions of preparation, measurement, and more general quantum channels.
Monoidal categories have recently been seen to be appropriate structures for establishing abstract axioms for quantum physics. The tensor product in a monoidal category corresponds to the creation of a composite system obtained by joining two independent quantum systems. This correspondence is formalized in the work of Abramsky-Coecke and Selinger. From this point of view, the tensor product in a monoidal category is abstracting the tensor product of Hilbert spaces. The notion of a dagger compact closed category axiomatizes further structure in the Hilbert space category. In particular, the dagger is an abstraction of the familiar Hilbert adjoint. Peter Selinger associates to each dagger compact closed category C its category of completely positive maps, denoted CPM(C). He proves that the resulting category is again a dagger compact closed category. We seek a similar result for tensored †-categories equipped with nuclear ideals. We establish an appropriate notion of completely positive maps in a nuclear ideal. We then define a CPM construction for tensored †-categories equipped with nuclear ideals. Analogous to Selinger's construction, given a nuclear ideal N for a tensored †-category C, our construction yields its category of completely positive maps, CPMN(C). We prove that CPM N(C). is again a tensored †-category. In the process, we also verify that our completely positive maps properly extend Selinger's notion of CPMs. In particular, they preserve nuclear-positive matrices, which are generalizations of von Neumann's positive density operators. As well, we characterize the completely positive maps for the nuclear ideal of Hilbert-Schmidt operators for Hilb and the nuclear ideal of finite relations for LFR. Our construction abstracts the passage from finite-dimensional Hilbert spaces to the category of all Hilbert spaces.
We recast Selinger's CPM-construction of mixed states completely positive maps [P. Selinger (2007) Dagger compact closed categories and completely positive maps. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science 170, 139–163. Available from Peter Selinger's homepage] as an axiomatization of maximally mixed states. This axiomatization also guarantees categories of completely positive maps to satisfy the preparation-state agreement axiom of [Coecke, B. (2007) De-linearizing linearity: projective quantum axiomatics from strong compact closure. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science 170, 49–72. E-print: arXiv:quant-ph/0506134], and admits a physical interpretation in terms of purification of mixed states and CPMs. Internal traces, which are crucial in quantum information theory, are the adjoints to these maximally mixed states.
This is the first paper in a series where we generalize the Categorical Quantum Mechanics program (due to Abramsky, Coecke, et al) to braided systems. In our view a uniform description of quantum information for braided systems has not yet emerged. The picture is complicated by a diversity of examples that lacks a unifying framework for proving theorems and discovering new protocols. We use category theory to construct a high-level language that abstracts the quantum mechanical properties of braided systems. We exploit this framework to propose an axiomatic description of braided quantum information intended for topological quantum computation. In this installment we first generalize the primordial Abramsky-Coecke "quantum information flow" paradigm from compact closed categories to right-rigid strict monoidal categories. We then study dagger structures for rigid and/or braided categories and formulate a graphical dagger calculus. We then propose two generalizations of strongly compact closed categories. Finally we study partial traces in the context of dagger categories.
Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes. A significant portion of quantum physics, however, involves reasoning about infinite dimensional processes, and it is well-known that the category of all Hilbert spaces is not compact closed. Thus, a limitation of using dagger compact closed categories is that one cannot directly accommodate reasoning about infinite dimensional processes. A natural categorical generalization of compact closed categories, in which infinite dimensional spaces can be modelled, is *-autonomous categories and, more generally, linearly distributive categories. This article starts the development of this direction of generalizing categorical quantum mechanics. An important first step is to establish the behaviour of the dagger in these more general settings. Thus, these notes simultaneously develop the categorical semantics of multiplicative dagger linear logic. The notes end with the definition of a mixed unitary category. It is this structure which is subsequently used to extend the key features of categorical quantum mechanics.