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

**Topics in Spectral Theory**

by

**Vojkan Jaksic**-

**McGill University**

The subject of these lecture notes is spectral theory of self-adjoint operators and some of its applications to mathematical physics. The main theme is the interplay between spectral theory of self-adjoint operators and classical harmonic analysis.

(

**6529**views)

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

(

**1938**views)

**Mathematical Physics II**

by

**Boris Dubrovin**-

**SISSA**

These are lecture notes on various topics in analytic theory of differential equations: Singular points of solutions to analytic differential equations; Monodromy of linear differential operators with rational coefficients.

(

**13202**views)

**Introduction to Quantum Integrability**

by

**A. Doikou, S. Evangelisti, G. Feverati, N. Karaiskos**-

**arXiv**

The authors review the basic concepts regarding quantum integrability. Special emphasis is given on the algebraic content of integrable models. A short review on quantum groups as well as the quantum inverse scattering method is also presented.

(

**6955**views)