Physics, Topology, Logic and Computation: A Rosetta Stone

DOI10.1007/978-3-642-12821-9_2zbMATH Open1218.81008arXiv0903.0340OpenAlexW2145852050WikidataQ62443435 ScholiaQ62443435MaRDI QIDQ3000920FDOQ3000920

Authors: John Baez, Mike Stay 

Publication date: 31 May 2011

Published in: New Structures for Physics (Search for Journal in Brave)

Abstract: In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.

Full work available at URL: https://arxiv.org/abs/0903.0340

Recommendations

• Categorical combinators
• A topos foundation for theories of physics: I. Formal languages for physics
• Categories for the Practising Physicist
• Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
• scientific article; zbMATH DE number 4010480
• scientific article; zbMATH DE number 1522506
• Languages for monoidal categories
• A categorical reduction system for linear logic
• scientific article; zbMATH DE number 2134910
• Alpha conversion, conditions on variables and categorical logic

zbMATH Keywords

string theory, topological quantum field theory, Feynman diagram, compact symmetric monoidal categories, closed symmetric monoidal categories, loop quantum gravity, linear logic, lambda calculus, linear type theory, quantum Hall effect

Mathematics Subject Classification ID

Quantum computation (81P68) General and philosophical questions in quantum theory (81P05) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Topological field theories in quantum mechanics (81T45) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited In (46)

• Quantum physics, topology, formal languages, computation: a categorical view as homage to David Hilbert
• Parallel self-testing of the GHZ state with a proof by diagrams
• Interacting quantum observables: categorical algebra and diagrammatics
• Bicategorical semantics for nondeterministic computation
• Quantum collections
• Variations on the Choi-Jamiołkowski isomorphism
• Itsy bitsy topological field theory
• Symmetry and composition in probabilistic theories
• Bicategorical traces and cotraces
• Computing with semirings and weak rig groupoids
• Dilations and information flow axioms in categorical probability
• Epistemic horizons and the foundations of quantum mechanics
• A new perspective on intermediate algorithms via the Riemann-Hilbert correspondence
• Functorial data migration
• A diagrammatic definition of \(U_q(\mathfrak{sl}_2)\)
• Renormalisation and computation. II: Time cut-off and the halting problem
• Pivotality, twisted centres, and the anti-double of a Hopf monad
• Interacting Hopf algebras
• A survey of graphical languages for monoidal categories
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• The far side of the cube. An elementary introduction to game semantics
• Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
• A mathematical theory of resources
• The expectation monad in quantum foundations
• Causal categories: relativistically interacting processes
• An electrical engineering perspective on naturality in computational physics
• The categorical imperative: category theory as a foundation for deontic logic
• Monadic functors forgetful of (dis)inhibited actions
• A diagrammatic view of differential equations in physics
• A graphical foundation for interleaving in game semantics
• Coends of higher arity
• Phase groups and the origin of non-locality for qubits
• Tensor networks in machine learning
• Categories for the Practising Physicist
• Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N
• A type theory for strictly unital \(\infty \)-categories
• Division algebras and quantum theory
• Frobenius and commutative pseudomonoids in the bicategory of spans
• Title not available (Why is that?)
• A Compositional Framework for Passive Linear Networks
• Tangle machines
• Congruence Lattices of Ideals in Categories and (Partial) Semigroups
• Towards a unified framework for decomposability of processes
• Title not available (Why is that?)
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Contrary-to-duty reasoning: a categorical approach

This page was built for publication: Physics, Topology, Logic and Computation: A Rosetta Stone

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000920)