Physics, Topology, Logic and Computation: A Rosetta Stone
by John C. Baez, Mike Stay
Publisher: arXiv 2009
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.
Download or read it online for free here:
Download link
(810KB, PDF)
Download mirrors:
Mirror 1
Similar books

by Leonard Susskind - 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...
(3848 views)

by Alex Madon - 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.
(8972 views)

by Matej Pavsic - 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.
(13065 views)

by David Ellwood, at al. - 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.
(12258 views)