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

**Clifford Algebra, Geometric Algebra, and Applications**

by

**Douglas Lundholm, Lars Svensson**-

**arXiv**

These are lecture notes for a course on the theory of Clifford algebras. The various applications include vector space and projective geometry, orthogonal maps and spinors, normed division algebras, as well as simplicial complexes and graph theory.

(

**7878**views)

**Lie Groups in Physics**

by

**G. 't Hooft, M. J. G. Veltman**-

**Utrecht University**

Contents: Quantum mechanics and rotation invariance; The group of rotations in three dimensions; More about representations; Ladder operators; The group SU(2); Spin and angular distributions; Isospin; The Hydrogen Atom; The group SU(3); etc.

(

**8642**views)

**Lectures on Three-Dimensional Elasticity**

by

**P. G. Ciarlet**-

**Tata Institute of Fundamental Research**

In this book a non-linear system of partial differential equations will be established as a mathematical model of elasticity. An energy functional will be established and existence results will be studied in the second chapter.

(

**4217**views)

**Nonlinear Physics (Solitons, Chaos, Localization)**

by

**Nikos Theodorakopoulos**-

**Universitaet Konstanz**

This set of lectures describes some of the basic concepts mainly from the angle of condensed matter / statistical mechanics, an area which provided an impressive list of nonlinearly governed phenomena over the last fifty years.

(

**4806**views)