Physics, Topology, Logic and Computation: A Rosetta Stone

Small book cover: Physics, Topology, Logic and Computation: A Rosetta Stone

Physics, Topology, Logic and Computation: A Rosetta Stone

Publisher: arXiv
Number of pages: 73

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.

Home page url

Download or read it online for free here:
Download link
(810KB, PDF)

Download mirrors:
Mirror 1

Similar books

Book cover: Mathematics for Theoretical PhysicsMathematics for Theoretical Physics
by - 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.
Book cover: Step-by-Step BS to PhD Math/PhysicsStep-by-Step BS to PhD Math/Physics
by - 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.
Book cover: Euclidean Random Matrices and Their Applications in PhysicsEuclidean Random Matrices and Their Applications in Physics
by - 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.
Book cover: An Introduction to Hyperbolic AnalysisAn Introduction to Hyperbolic Analysis
by - 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.