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.
(12181 views)
Lectures on Diffusion Problems and Partial Differential Equationsby S.R.S. Varadhan - Tata Institute of Fundamental Research
Starting from Brownian Motion, the lectures quickly got into the areas of Stochastic Differential Equations and Diffusion Theory. The section on Martingales is based on additional lectures given by K. Ramamurthy of the Indian Institute of Science.
(7475 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...
(7465 views)
An Introduction to Hyperbolic Analysisby 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.
(10050 views)