Logo

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
by

Publisher: arXiv
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.

Home page url

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

Download mirrors:
Mirror 1

Similar books

Book cover: Clifford Algebra, Geometric Algebra, and ApplicationsClifford Algebra, Geometric Algebra, and Applications
by - 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.
(16293 views)
Book cover: Lectures on the Singularities of the Three-Body ProblemLectures on the Singularities of the Three-Body Problem
by - Tata Institute of Fundamental Research
From the table of contents: The differential equations of mechanics; The three-body problem : simple collisions (The n-body problem); The three-body problem: general collision (Stability theory of solutions of differential equations).
(10307 views)
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.
(15194 views)
Book cover: Lie Systems: Theory, Generalisations, and ApplicationsLie Systems: Theory, Generalisations, and Applications
by - arXiv
Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of mapping.
(10771 views)