Quantum Theory: Informational Foundations and Foils

Volume 181 of the series Fundamental Theories of Physics pp 309-366


Generalised Compositional Theories and Diagrammatic Reasoning

  • Bob CoeckeAffiliated withDepartment of Computer Science, University of Oxford Email author 
  • , Ross DuncanAffiliated withDepartment of Computer and Information Sciences, University of Strathclyde
  • , Aleks KissingerAffiliated withDepartment of Computer Science, University of Oxford
  • , Quanlong WangAffiliated withSchool of Mathematics and System Sciences, Beihang University

* Final gross prices may vary according to local VAT.

Get Access


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.