[ספר][B] Categories for Quantum Theory: an introduction

C Heunen, J Vicary - 2019‏ - books.google.com
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 …

Interacting quantum observables: categorical algebra and diagrammatics

B Coecke, R Duncan - New Journal of Physics, 2011‏ - iopscience.iop.org
This paper has two tightly intertwined aims:(i) to introduce an intuitive and universal
graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies …

Interacting quantum observables

B Coecke, R Duncan - International Colloquium on Automata, Languages …, 2008‏ - Springer
We formalise the constructive content of an essential feature of quantum mechanics: the
interaction of complementary quantum observables, and information flow mediated by them …

Categorical quantum mechanics

S Abramsky, B Coecke - Handbook of quantum logic and …, 2009‏ - books.google.com
Our aim is to revisit the mathematical foundations of quantum mechanics from a novel point
of view. The standard axiomatic presentation of quantum mechanics in terms of Hilbert …

Categories for the practising physicist

B Coecke, EO Paquette - New structures for physics, 2010‏ - Springer
In this chapter we survey some particular topics in category theory in a somewhat
unconventional manner. Our main focus will be on monoidal categories, mostly symmetric …

Globular: an online proof assistant for higher-dimensional rewriting

K Bar, A Kissinger, J Vicary - Logical Methods in Computer …, 2018‏ - lmcs.episciences.org
This article introduces Globular, an online proof assistant for the formalization and
verification of proofs in higher-dimensional category theory. The tool produces graphical …

The compositional structure of multipartite quantum entanglement

B Coecke, A Kissinger - International Colloquium on Automata, Languages …, 2010‏ - Springer
Multipartite quantum states constitute a (if not the) key resource for quantum computations
and protocols. However obtaining a generic, structural understanding of entanglement in N …

Picturing classical and quantum Bayesian inference

B Coecke, RW Spekkens - Synthese, 2012‏ - Springer
We introduce a graphical framework for Bayesian inference that is sufficiently general to
accommodate not just the standard case but also recent proposals for a theory of quantum …

Strong complementarity and non-locality in categorical quantum mechanics

B Coecke, R Duncan, A Kissinger… - 2012 27th Annual IEEE …, 2012‏ - ieeexplore.ieee.org
Categorical quantum mechanics studies quantum theory in the framework of dagger-
compact closed categories. Using this framework, we establish a tight relationship between …

A prehistory of n-categorical physics

JC Baez, A Lauda - Deep beauty: Understanding the quantum …, 2011‏ - books.google.com
14 a prehistory of n-categorical physics just categories and bicategories). We also include a
review of some relevant aspects of twentieth-century physics. The most obvious roads to n …