New Structures for Physics

  • Bob Coecke

Part of the Lecture Notes in Physics book series (LNP, volume 813)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. An ABC on Compositionality

    1. Front Matter
      Pages 1-1
    2. S. Abramsky, N. Tzevelekos
      Pages 3-94
    3. B. Coecke, É.O. Paquette
      Pages 173-286
  3. Manifestations of Linearity

    1. Front Matter
      Pages 287-287
  4. More Example Applications

    1. Front Matter
      Pages 419-419
    2. R. Blute, P. Panangaden
      Pages 421-436
    3. R. Blute, P. Panangaden
      Pages 437-466
  5. Informatic Geometry

    1. Front Matter
      Pages 489-489
    2. K. Martin
      Pages 491-591
    3. B. Coecke, K. Martin
      Pages 593-683
  6. Spatio-Temporal Geometry

  7. Geometry and Topology in Computation

    1. Front Matter
      Pages 939-939
    2. P. Panangaden, É.O. Paquette
      Pages 983-1025
  8. Back Matter
    Pages 1027-1031

About this book


This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via quantum information, to quantum gravity. These include the theory of monoidal categories and corresponding graphical calculi, Girard’s linear logic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures. Most of these structures are very prominent in computer science; the chapters here are tailored towards an audience of physicists.


category theory computer science logic domain theory quantum foundations quantum gravity

Editors and affiliations

  • Bob Coecke
    • 1
  1. 1.OxfordUnited Kingdom

Bibliographic information

Industry Sectors
Energy, Utilities & Environment