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
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.
(9262 views)
Mathematical Physics: Problems and Solutionsby G. S. Beloglazov, et al. - Samara University Press
The present Proceedings is intended to be used by the students of physical and mechanical-mathematical departments of the universities, who are interested in acquiring a deeper knowledge of the methods of mathematical and theoretical physics.
(17848 views)
Lectures on Nonlinear Waves And Shocksby Cathleen S. Morawetz - Tata Institute Of Fundamental Research
Introduction to certain aspects of gas dynamics concentrating on some of the most important nonlinear problems, important not only from the engineering or computational point of view but also because they offer great mathematical challenges.
(11061 views)
Random Matricesby B. Eynard - arXiv.org
This is an introductory course about random matrices. These notes will give the reader a smell of that fascinating tool for physicists and mathematicians that are Random Matrices, and they can give the envy to learn and search more.
(13598 views)