Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : New structures for physics [Texte électronique] / B. Coecke, ed.
Publication : Berlin ; New York : Springer, cop. 2011
Description matérielle : 1 ressource dématérialisée
Collection : Lecture notes in physics ; 813
Note(s) : Includes bibliographical references and index
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
Autre(s) auteur(s) : Coecke, Bob. Fonction indéterminée
Sujet(s) : Physique mathématique
Catégories (mathématiques)
Gravité quantique
Théorie quantique
Indice(s) Dewey :
530.15 (23e éd.) = Physique mathématique
Identifiants, prix et caractéristiques : ISBN 9783642128219
Identifiant de la notice : ark:/12148/cb44699762k
Notice n° :
FRBNF44699762
(notice reprise d'un réservoir extérieur)
Table des matières : part I. ; An ABC on compositionality.1 ; Introduction to categories and categorical
logic /S. Abramsky and N. Tzevelekos2 ; Physics, topology, logic, and computation
: a Rosetta stone /J. Baez and M Stay3 ; Categories for the practising physicist /B.
Coecke and É.O. Paquettepart II ; Manifestations of linearity.4 ; A survey of graphical
languages for monoidal categories /P. Selinger5 ; Geometry of interaction and the
dynamics of proof reduction : a tutorial /E. Haghverdi and P. Scottpart III ; More
example applications.6 ; Dagger categories and formal distributions /R. Blute and
P. Panangaden7 ; Proof nets as formal Feynman diagrams /R. Blute and P. Panangaden8
; Compact monoidal categories from linguistics to physics /J. Lambekpart IV ; Informatic
geometry.9 ; Domain theory and measurement /K. Martin10 ; A partial order on classical
and quantum states /B. Coecke and K. Martinpart V ; Spatio-temporal geometry.11 ;
Domain theory and general relativity /K. Martin and P. Panangaden12 ; Process, distin
