Physics, Topology, Logic and Computation: A Rosetta Stone

@article{Baez2009PhysicsTL,
  title={Physics, Topology, Logic and Computation: A Rosetta Stone},
  author={J. Baez and M. Stay},
  journal={Lecture Notes in Physics},
  year={2009},
  volume={813},
  pages={95-172}
}
  • J. Baez, M. Stay
  • Published 2009
  • Physics, Mathematics
  • Lecture Notes in Physics
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”: a manifold representing spacetime, going between two manifolds representing space. This led to a burst of work on topological quantum field theory and “quantum topology”. But this was just the beginning: similar diagrams can be used to… Expand
199 Citations

Figures and Tables from this paper

Computation and the Periodic Table
  • J. Baez
  • Mathematics, Computer Science
  • 2009 24th Annual IEEE Symposium on Logic In Computer Science
  • 2009
  • PDF
The Abstract Structure of Quantum Algorithms
  • W. Zeng
  • Mathematics, Computer Science
  • ArXiv
  • 2015
  • 3
  • PDF
Logical aspects of quantum computation
Categorical quantum circuits
  • 29
  • PDF
Deep Beauty: A Universe of Processes and Some of Its Guises
  • 20
  • PDF
Interacting Quantum Observables: Categorical Algebra and Diagrammatics
  • 289
  • PDF
Quantum picturalism
  • 167
  • PDF
Categorical Semantics for Schr\"odinger's Equation
  • 4
  • PDF
Symmetry and Composition in Probabilistic Theories
  • A. Wilce
  • Computer Science, Physics
  • Electron. Notes Theor. Comput. Sci.
  • 2011
  • 9
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 295 REFERENCES
Topological Quantum Computation
  • 412
  • PDF
Quantum Quandaries: a Category-Theoretic Perspective
  • 82
  • PDF
Operads in algebra, topology, and physics
  • 563
  • PDF
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
  • B. Coecke
  • Computer Science, Physics
  • Electron. Notes Theor. Comput. Sci.
  • 2007
  • 56
  • PDF
Conservative logic
  • 1,818
  • PDF
Quantum measurements without sums
  • 169
  • PDF
A Lambda Calculus for Quantum Computation
  • 184
  • PDF
...
1
2
3
4
5
...