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

by 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.
(16293 views)

by C.L. Siegel - 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)

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.
(15194 views)

by J.F. Carinena, J. de Lucas - 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)