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

Elsevier eBooks

Categorical Quantum Mechanics

Samson Abramsky, Bob Coecke

Published Jan 1, 2009• 188 citations
Publisher
DOI
10.1016/b978-0-444-52869-8.50010-4

Related papers

Complementarity in Categorical Quantum Mechanics

Chris Heunen

arXiv:1009.2007•Foundations of Physics•Aug 2, 2011•5 citations

21pAN-11 Categorical Aspects of Quantum Mechanics

K. Matsuhisa, Izumi Tsutsui

日本物理学会講演概要集•Mar 21, 2015•0 citations

Categorical Quantum Theory

Peter Nonnenmann

Springer eBooks•Jan 1, 2021•0 citations

Categorical Probabilistic Theories

Stefano Gogioso, Carlo Maria Scandolo

We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt to bridge this gap, by adopting a minimal number of operationally motivated axioms which provide clean categorical foundations, in the style of CQM, for the treatment of the problems that OPTs are concerned with.

arXiv:1701.08075•Electronic Proceedings in Theoretical Computer Science•Feb 27, 2018•32 citations

QUANTUM AND SEMI-QUANTUM MECHANICS

William W. Kennerly

•Jan 1, 2005•0 citations

A First Step to the Categorical Logic of Quantum Programs

Xin Sun, Feifei He

The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. In this paper we introduce the basic idea of our categorical logic of quantum programs (CLQP): It combines the logic of quantum programming (LQP) and categorical quantum mechanics (CQM) such that the advantages of both LQP and CQM are preserved while their disadvantages are overcome. We present the syntax, semantics and proof system of CLQP. As a proof-of-concept, we apply CLQP to verify the correctness of Deutsch's algorithm and the concealing property of quantum bit commitment.

Entropy•Jan 24, 2020•8 citations
We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt to bridge this gap, by adopting a minimal number of operationally motivated axioms which provide clean categorical foundations, in the style of CQM, for the treatment of the problems that OPTs are concerned with.
The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. In this paper we introduce the basic idea of our categorical logic of quantum programs (CLQP): It combines the logic of quantum programming (LQP) and categorical quantum mechanics (CQM) such that the advantages of both LQP and CQM are preserved while their disadvantages are overcome. We present the syntax, semantics and proof system of CLQP. As a proof-of-concept, we apply CLQP to verify the correctness of Deutsch's algorithm and the concealing property of quantum bit commitment.