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

**Solitons**

by

**David Tong**-

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

(

**4969**views)

**Lectures on Integrable Hamiltonian Systems**

by

**G.Sardanashvily**-

**arXiv**

We consider integrable Hamiltonian systems in a general setting of invariant submanifolds which need not be compact. This is the case a global Kepler system, non-autonomous integrable Hamiltonian systems and systems with time-dependent parameters.

(

**4362**views)

**Step-by-Step BS to PhD Math/Physics**

by

**Alex Alaniz**-

**UC Riverside**

These are step-by-verifiable-step notes which are designed to help students with a year of calculus based physics who are about to enroll in ordinary differential equations go all the way to doctoral foundations in either mathematics or physics.

(

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

(

**10845**views)