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

(

**4147**views)

**Graph and Network Theory in Physics: A Short Introduction**

by

**Ernesto Estrada**-

**arXiv**

Text consisting of some of the main areas of research in graph theory applied to physics. It includes graphs in condensed matter theory, such as the tight-binding and the Hubbard model. It follows the study of graph theory and statistical physics...

(

**4255**views)

**Lectures on the Singularities of the Three-Body Problem**

by

**C.L. Siegel**-

**Tata Institute of Fundamental Research**

From the table of contents: The differential equations of mechanics; The three-body problem : simple collisions (The n-body problem); The three-body problem: general collision (Stability theory of solutions of differential equations).

(

**4331**views)

**Funky Mathematical Physics Concepts**

by

**Eric L. Michelsen**-

**UCSD**

This text covers some of the unusual or challenging concepts in graduate mathematical physics. This work is meant to be used with any standard text, to help emphasize those things that are most confusing for new students.

(

**2651**views)