Physics, Topology, Logic and Computation: A Rosetta Stone

DOI10.1007/978-3-642-12821-9_2zbMath1218.81008arXiv0903.0340OpenAlexW2145852050WikidataQ62443435 ScholiaQ62443435MaRDI QIDQ3000920

Mike Stay, John C. Baez

Publication date: 31 May 2011

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

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

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

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

Related Items (35)

Bicategorical semantics for nondeterministic computation ⋮ A new perspective on intermediate algorithms via the Riemann-Hilbert correspondence ⋮ Congruence Lattices of Ideals in Categories and (Partial) Semigroups ⋮ Interacting Hopf algebras ⋮ A mathematical theory of resources ⋮ The expectation monad in quantum foundations ⋮ Renormalisation and computation II: time cut-off and the Halting Problem ⋮ A diagrammatic definition of U_q(𝔰𝔩₂) ⋮ Causal categories: relativistically interacting processes ⋮ Coends of higher arity ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Tangle Machines ⋮ Division algebras and quantum theory ⋮ Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras ⋮ Quantum collections ⋮ Dilations and information flow axioms in categorical probability ⋮ Tensor networks in machine learning ⋮ A diagrammatic view of differential equations in physics ⋮ Towards a unified framework for decomposability of processes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ A graphical foundation for interleaving in game semantics ⋮ Epistemic horizons and the foundations of quantum mechanics ⋮ A Compositional Framework for Passive Linear Networks ⋮ Functorial data migration ⋮ Computing with Semirings and Weak Rig Groupoids ⋮ Itsy bitsy topological field theory ⋮ Phase Groups and the Origin of Non-locality for Qubits ⋮ Symmetry and Composition in Probabilistic Theories ⋮ Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N ⋮ Contrary-to-duty reasoning: a categorical approach

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