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

**Mathematics for Theoretical Physics**

by

**Jean Claude Dutailly**-

**arXiv**

This is a comprehensive and precise coverage of the mathematical concepts and tools used in present theoretical physics: differential geometry, Lie groups, fiber bundles, Clifford algebra, differential operators, normed algebras, connections, etc.

(

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

(

**8249**views)

**Euclidean Random Matrices and Their Applications in Physics**

by

**A. Goetschy, S.E. Skipetrov**-

**arXiv**

We review the state of the art of the theory of Euclidean random matrices, focusing on the density of their eigenvalues. Both Hermitian and non-Hermitian matrices are considered and links with simpler random matrix ensembles are established.

(

**4219**views)

**An Introduction to Hyperbolic Analysis**

by

**Andrei Khrennikov, Gavriel Segre**-

**arXiv**

Contents: The hyperbolic algebra as a bidimensional Clifford algebra; Limits and series in the hyperbolic plane; The hyperbolic Euler formula; Analytic functions in the hyperbolic plane; Multivalued functions on the hyperbolic plane; etc.

(

**8058**views)