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

**Elements for Physics: Quantities, Qualities, and Intrinsic Theories**

by

**Albert Tarantola**-

**Springer**

Reviews Lie groups, differential geometry, and adapts the usual notion of linear tangent application to the intrinsic point of view proposed for physics. The theory of heat conduction and the theory of linear elastic media are studied in detail.

(

**13865**views)

**Theoretical Physics**

by

**W. Wilson**-

**Dutton**

The purpose of the present work is to present an account of the theoretical side of physics which, without being too elaborate, will be sufficiently comprehensive to be useful to teachers and students. This volume deals with mechanics and heat.

(

**8249**views)

**Mirror Symmetry**

by

**Cumrun Vafa, Eric Zaslow**-

**American Mathematical Society**

The book provides an introduction to the field of mirror symmetry from both a mathematical and physical perspective. After covering the relevant background material, the monograph is devoted to the proof of mirror symmetry from various viewpoints.

(

**10929**views)

**Applications of global analysis in mathematical physics**

by

**Jerrold E. Marsden**-

**Publish or Perish, inc**

The book introduces some methods of global analysis which are useful in various problems of mathematical physics. The author wants to make use of ideas from geometry to shed light on problems in analysis which arise in mathematical physics.

(

**13680**views)