From: "John Baez" <baez@math.ucr.edu>
To: categories@mta.ca (categories)
Subject: quantum quandaries - a category-theoretic perspective
Date: Wed, 7 Apr 2004 18:38:12 -0700 (PDT) [thread overview]
Message-ID: <200404080138.i381cCV24825@math-ws-n09.ucr.edu> (raw)
Dear Categorists -
Some of you may enjoy this paper. It's written for philosophers
of physics, so I take it a bit easy on the category theory, but
it does explain why I think the *-category of Hilbert spaces and
bounded linear operators is more important in physics than the
mere category of Hilbert spaces and bounded linear operators.
Best,
jb
.................................................................
http://math.ucr.edu/home/baez/quantum/
Quantum Quandaries: A Category-Theoretic Perspective
John C. Baez
To appear in _Structural Foundations of Quantum Gravity_,
eds. Steven French, Dean Rickles and Juha Saatsi, Oxford U. Press.
Abstract:
General relativity may seem very different from quantum theory, but work
on quantum gravity has revealed a deep analogy between the two. General
relativity makes heavy use of the category nCob, whose objects are
(n-1)-dimensional manifolds representing "space" and whose morphisms
are n-dimensional cobordisms representing "spacetime". Quantum theory
makes heavy use of the category Hilb, whose objects are Hilbert spaces
used to describe "states", and whose morphisms are bounded linear operators
used to describe "processes". Moreover, the categories nCob and Hilb
resemble each other far more than either resembles Set, the category
whose objects are sets and whose morphisms are functions. In particular,
both Hilb and nCob but not Set are *-categories with a noncartesian
monoidal structure. We show how this accounts for many of the famously
puzzling features of quantum theory: the failure of local realism, the
impossibility of duplicating quantum information, and so on. We argue
that these features only seem puzzling when we try to treat Hilb as
analogous to Set rather than nCob, so that quantum theory will make
more sense when regarded as part of a theory of spacetime.
Also available at http://www.arxiv.org/abs/quant-ph/0404040
next reply other threads:[~2004-04-08 1:38 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-04-08 1:38 John Baez [this message]
2004-04-09 0:08 Vaughan Pratt
2004-04-09 10:56 ` Paul B Levy
2004-04-09 21:18 Vaughan Pratt
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200404080138.i381cCV24825@math-ws-n09.ucr.edu \
--to=baez@math.ucr.edu \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).