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

Publisher: arXiv
Number of pages: 73

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: Three Lectures on Complexity and Black HolesThree Lectures on Complexity and Black Holes
by - arXiv.org
The first lecture describes the meaning of quantum complexity, the analogy between entropy and complexity, and the second law of complexity. Lecture two reviews the connection between the second law of complexity and the interior of black holes...
Book cover: Introduction to Mathematical PhysicsIntroduction to Mathematical Physics
by - Wikibooks
The goal of this book is to propose an ensemble view of modern physics. The coherence between various fields of physics is insured by following two axes: a first is the universal mathematical language; the second is the study of the N body problem.
Book cover: The Landscape of Theoretical PhysicsThe Landscape of Theoretical Physics
by - arXiv
This a book is for those who would like to learn something about special and general relativity beyond the usual textbooks, about quantum field theory, the elegant Fock-Schwinger-Stueckelberg proper time formalism, and much more.
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.