Logo

Physics, Topology, Logic and Computation: A Rosetta Stone

Small book cover: Physics, Topology, Logic and Computation: A Rosetta Stone

Physics, Topology, Logic and Computation: A Rosetta Stone
by

Publisher: arXiv
Number of pages: 73

Description:
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.

Home page url

Download or read it online for free here:
Download link
(810KB, PDF)

Download mirrors:
Mirror 1

Similar books

Book cover: SolitonsSolitons
by - University of Cambridge
These lectures cover aspects of solitons with focus on applications to the quantum dynamics of supersymmetric gauge theories and string theory. The lectures consist of four sections, each dealing with a different soliton.
(6632 views)
Book cover: Mathematics for Physics: A Guided Tour for Graduate StudentsMathematics for Physics: A Guided Tour for Graduate Students
by - Cambridge University Press
This book provides a graduate-level introduction to the mathematics used in research in physics. It focuses on differential and integral equations, Fourier series, calculus of variations, differential geometry, topology and complex variables.
(14934 views)
Book cover: Classical and Quantum Mechanics via Lie algebrasClassical and Quantum Mechanics via Lie algebras
by - arXiv
This book presents classical, quantum, and statistical mechanics in an algebraic setting, thereby introducing mathematicians, physicists, and engineers to the ideas relating classical and quantum mechanics with Lie algebras and Lie groups.
(10214 views)
Book cover: Floer Homology, Gauge Theory, and Low Dimensional TopologyFloer Homology, Gauge Theory, and Low Dimensional Topology
by - American Mathematical Society
Mathematical gauge theory studies connections on principal bundles. The book provides an introduction to current research, covering material from Heegaard Floer homology, contact geometry, smooth four-manifold topology, and symplectic four-manifolds.
(9619 views)