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
Lectures on Integrable Hamiltonian Systemsby G.Sardanashvily - arXiv
We consider integrable Hamiltonian systems in a general setting of invariant submanifolds which need not be compact. This is the case a global Kepler system, non-autonomous integrable Hamiltonian systems and systems with time-dependent parameters.
(8860 views)
A Window into Zeta and Modular Physicsby Klaus Kirsten, Floyd L. Williams - Cambridge University Press
This book provides an introduction, with applications, to three interconnected mathematical topics: zeta functions in their rich variety; modular forms; vertex operator algebras. Applications of the material to physics are presented.
(10518 views)
Little Magnetic Bookby Nicolas Raymond - arXiv
'Little Magnetic Book' is devoted to the spectral analysis of the magnetic Laplacian in various geometric situations. In particular the influence of the geometry on the discrete spectrum is analysed in many asymptotic regimes.
(6902 views)
The Octonionsby John C. Baez - University of California
The octonions are the largest of the four normed division algebras. The author describes them and their relation to Clifford algebras and spinors, Bott periodicity, projective and Lorentzian geometry, Jordan algebras, and the exceptional Lie groups.
(19813 views)