## 244 Citations

Braided Categorical Quantum Mechanics I

- Computer Science
- 2009

This is the first paper in a series where the Categorical Quantum Mechanics program is generalized to braided systems and category theory is used to construct a high-level language that describes the role of quantum information in these systems.

Environment and classical channels in categorical quantum mechanics

- Computer ScienceLog. Methods Comput. Sci.
- 2010

We present a both simple and comprehensive graphical calculus for quantum
computing. In particular, we axiomatize the notion of an environment, which
together with the earlier introduced axiomatic…

Higher Quantum Theory

- Physics, Computer Science
- 2012

The 2-categorical formalism gives a simple, graphical way to describe the specification and implementation of certain quantum procedures, which is used to investigate quantum teleportation, dense coding, complementarity and quantum erasure.

Diagrammatic quantum mechanics

- PhysicsCommercial + Scientific Sensing and Imaging
- 2015

This paper explores how diagrams of quantum processes can be used for modeling and for quantum epistemology. The paper is a continuation of the discussion where we began this formulation. Here we…

A Note on the "Third Life of Quantum Logic"

- Philosophy
- 2019

The purpose of this note is to discuss some of the questions raised by Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan in Editors' introduction: the third life of quantum logic: quantum logic…

Higher Semantics of Quantum Protocols

- Computer Science2012 27th Annual IEEE Symposium on Logic in Computer Science
- 2012

A higher semantics for the description of quantum protocols is proposed, which deals with quantum and classical information in a unified way and uses the use of 2-category theory to formalize the resulting framework.

Category Theory and Quantum Mechanics

- PhilosophyThe Quantum Mechanics Conundrum
- 2019

In the present chapter, the general logical–epistemological foundations of the quantum theory, where the stress is on categorisation are dealt with, and its applications to QM and especially to quantum information are seen.

Se p 20 17 S-matrix Interpretation in Categorical Quantum Mechanics

- Physics
- 2017

We study the S-matrix interpretation of quantum theory in light of Categotical Quantum Mechanics. The S-matrix interpretation of quantum theory is shown to be a functorial semantics relating the…

Effectuses in Categorical Quantum Foundations

- PhilosophyArXiv
- 2019

This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its connections with…

The Sheaf-Theoretic Structure of Definite Causality

- Physics, PhilosophyElectronic Proceedings in Theoretical Computer Science
- 2021

Also in the quantum theory one starts from certain numbers from which one deduces other numbers, which can be taken as initial numbers for a calculation in quantum theory.

## References

SHOWING 1-10 OF 135 REFERENCES

Logic of Quantum Mechanics

- Philosophy
- 1976

“When we go far in the direction of the very small, quantum theory says that our forms of thought fail, so that it is questionable whether we can properly think at all”. These words of Bridgman…

Quantum computation and quantum information

- PhysicsMathematical Structures in Computer Science
- 2007

This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of Quantum Information and Quantum Computing. The first two papers deal…

A one-way quantum computer.

- Physics, Computer SciencePhysical review letters
- 2001

A scheme of quantum computation that consists entirely of one-qubit measurements on a particular class of entangled states, the cluster states, which are thus one-way quantum computers and the measurements form the program.

The Quantum Theory

- PhysicsNature
- 1928

IN a lecture on the quantum theory it might be thought fitting to commence with a clear explanation of the purpose, nature, and scope of the subject; but an attempt to answer briefly the question,…

On the Foundations of Quantum Physics

- Physics
- 1976

The interpretation of quantum theory has always been a source of difficulties, especially with regard to the theory of measurement. We do not intend to enter here into the details of the polemic…

Can Quantum-Mechanical Description of Physical Reality be Considered Complete?

- Physics
- 1935

It is shown that a certain "criterion of physical reality" formulated in a recent article with the above title by A. Einstein, B. Podolsky and N. Rosen contains an essential ambiguity when it is…

A categorical semantics of quantum protocols

- Computer ScienceProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
- 2004

This paper focuses on quantum information protocols, which exploit quantum-mechanical effects in an essential way and form the basis for novel and potentially very important applications to secure and fault-tolerant communication and computation.

Quantum Teleportation is a Universal Computational Primitive

- Physics
- 1999

We present a method to create a variety of interesting gates by teleporting quantum bits through special entangled states. This allows, for instance, the construction of a quantum computer based on…

Quantum computational networks

- Physics, Computer ScienceProceedings of the Royal Society of London. A. Mathematical and Physical Sciences
- 1989

The theory of quantum computational networks is the quantum generalization of the theory of logic circuits used in classical computing machines, and a single type of gate, the universal quantum gate, together with quantum ‘unit wires' is adequate for constructing networks with any possible quantum computational property.

Categorical Geometry and the Mathematical Foundations of Quantum General Relativity

- Philosophy
- 2006

We explore the possibility of replacing point set topology by higher category theory and topos theory as the foundation for quantum general relativity. We discuss the BC model and problems of its…