Skip to main content
SpringerLink
Log in

New Structures for Physics

  • Book
  • © 2011

Overview

Editors:
  1. Bob Coecke

    1. Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Only coherent collection of reviews available on this emergent topic
  • Tutorial approach will facilitate the use by graduate students and newcomers to the field
  • Unrivalled comprehensiveness, with close to 1000 pages of material
  • Includes supplementary material: sn.pub/extras

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. An ABC on Compositionality

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduction to Categories and Categorical Logic

      • S. Abramsky, N. Tzevelekos
      Pages 3-94

    3. Physics, Topology, Logic and Computation: A Rosetta Stone

      • J. Baez, M. Stay
      Pages 95-172

    4. Categories for the Practising Physicist

      • B. Coecke, É.O. Paquette
      Pages 173-286

  3. Manifestations of Linearity

    1. Front Matter

      Pages 287-287
      Download chapter PDF

    2. A Survey of Graphical Languages for Monoidal Categories

      • P. Selinger
      Pages 289-355

    3. Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial

      • E. Haghverdi, P. Scott
      Pages 357-417

  4. More Example Applications

    1. Front Matter

      Pages 419-419
      Download chapter PDF

    2. Dagger Categories and Formal Distributions

      • R. Blute, P. Panangaden
      Pages 421-436

    3. Proof Nets as Formal Feynman Diagrams

      • R. Blute, P. Panangaden
      Pages 437-466

    4. Compact Monoidal Categories from Linguistics to Physics

      • J. Lambek
      Pages 467-487

  5. Informatic Geometry

    1. Front Matter

      Pages 489-489
      Download chapter PDF

    2. Domain Theory and Measurement

      • K. Martin
      Pages 491-591

    3. A Partial Order on Classical and Quantum States

      • B. Coecke, K. Martin
      Pages 593-683

  6. Spatio-Temporal Geometry

    1. Front Matter

      Pages 685-685
      Download chapter PDF

    2. Domain Theory and General Relativity

      • K. Martin, P. Panangaden
      Pages 687-703

    3. Process, Distinction, Groupoids and Clifford Algebras: an Alternative View of the Quantum Formalism

      • B.J. Hiley
      Pages 705-752

    4. “What is a Thing?”: Topos Theory in the Foundations of Physics

      • A. Döring, C. Isham
      Pages 753-937

  7. Geometry and Topology in Computation

    1. Front Matter

      Pages 939-939
      Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

  • Oxford, United Kingdom

    Bob Coecke

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation