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

**Lie Theory and Special Functions**

by

**Willard Miller**-

**Academic Press**

The book studies the role played by special function theory in the formalism of mathematical physics. It demonstrates that special functions which arise in mathematical models are dictated by symmetry groups admitted by the models.

(

**14072**views)

**Interactions, Strings and Isotopies in Higher Order Anisotropic Superspaces**

by

**Sergiu I. Vacaru**-

**arXiv**

The monograph summarizes the author's results on the geometry of anholonomic and locally anisotropic interactions. The main subjects are in the theory of field interactions, strings and diffusion processes on spaces, superspaces and isospaces.

(

**11670**views)

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

(

**15544**views)

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

(

**9252**views)