Research Catalog

Title

New structures for physics / B. Coecke (ed.).

Publication

Berlin : Springer, c2011.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Coecke, Bob

Description

xviii, 1031 p. : ill.; 24 cm.

Summary

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. --Book Jacket.

Series Statement

Lecture notes in physics, 0075-8450 ; 813

Uniform Title

• Lecture notes in physics 813.
• Lecture Notes in Physics, 813

Subject

• Mathematical physics
• Physics
• Information theory
• Algebra
• Mathematical Methods in Physics
• Category Theory, Homological Algebra
• Theory of Computation

Bibliography (note)

• Includes bibliographical references and index.

Processing Action (note)

• committed to retain

Contents

part I. An ABC on compositionality. 1. Introduction to categories and categorical logic / S. Abramsky and N. Tzevelekos ; 2. Physics, topology, logic, and computation : a Rosetta stone / J. Baez and M Stay ; 3. Categories for the practising physicist / B. Coecke and É.O. Paquette -- part II. Manifestations of linearity. 4. A survey of graphical languages for monoidal categories / P. Selinger ; 5. Geometry of interaction and the dynamics of proof reduction : a tutorial / E. Haghverdi and P. Scott -- part III. More example applications. 6. Dagger categories and formal distributions / R. Blute and P. Panangaden ; 7. Proof nets as formal Feynman diagrams / R. Blute and P. Panangaden ; 8. Compact monoidal categories from linguistics to physics / J. Lambek -- part IV. Informatic geometry. 9. Domain theory and measurement / K. Martin ; 10. A partial order on classical and quantum states / B. Coecke and K. Martin -- part V. Spatio-temporal geometry. 11. Domain theory and general relativity / K. Martin and P. Panangaden ; 12. Process, distinction, groupoids, and Clifford algebras : an alternative view of the quantum formalism / B.J. Hiley ; 13. "What is a thing?" : topos theory in the foundation of physics / A. Döring and C. Isham -- part VI. Geometry and topology in computation. 14. Can a quantum computer run the von Neumann architecture? / P. Hines ; 15. A categorical presentation of quantum computation with anyons / P. Panangaden and É.O. Paquette.

ISBN

• 9783642128202
• 3642128203

LCCN

^^2010930494

OCLC

646113826

Owning Institutions

Harvard Library