**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

**Three Lectures on Complexity and Black Holes**

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)

**Introduction to Mathematical Physics**

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)

**The Landscape of Theoretical Physics**

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)

**Floer Homology, Gauge Theory, and Low Dimensional Topology**

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)