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 Applicationsby 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.
(15290 views)
Introduction to Mathematical Physicsby Alex Madon - Wikibooks
The goal of this book is to propose an ensemble view of modern physics. The coherence between various fields of physics is insured by following two axes: a first is the universal mathematical language; the second is the study of the N body problem.
(9954 views)
Graph and Network Theory in Physics: A Short Introductionby 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...
(9510 views)
Quantum Spin Systems on Infinite Latticesby Pieter Naaijkens - arXiv
These are the lecture notes for a one semester course at Leibniz University Hannover. The main aim of the course is to give an introduction to the mathematical methods used in describing discrete quantum systems consisting of infinitely many sites.
(7244 views)