Generalised compositional theories and diagrammatic reasoning

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong (2015) Generalised compositional theories and diagrammatic reasoning. In: Quantum Theory. Fundamental Theories of Physics, 181 (1). Springer, Netherlands, pp. 1-55. ISBN 9789401773027

[img]
Preview
Text (Coecke-etal-QT2016-generalised-compositional-theories-diagrammatic-reasoning)
Coecke_etal_QT2016_generalised_compositional_theories_diagrammatic_reasoning.pdf
Accepted Author Manuscript

Download (456kB)| Preview

    Abstract

    This chapter provides an introduction to the use of diagrammatic language, or perhaps more accurately, diagrammatic calculus, in quantum information and quantum foundations. We illustrate the use of diagrammatic calculus in one particular case, namely the study of complementarity and non-locality, two fundamental concepts of quantum theory whose relationship we explore in later part of this chapter. The diagrammatic calculus that we are concerned with here is not merely an illustrative tool, but it has both (i) a conceptual physical backbone, which allows it to act as a foundation for diverse physical theories, and (ii) a genuine mathematical underpinning, permitting one to relate it to standard mathematical structures.