From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2469 Path: news.gmane.org!not-for-mail From: "John Baez" Newsgroups: gmane.science.mathematics.categories Subject: re: quantum logic Date: Sun, 12 Oct 2003 15:08:54 -0700 (PDT) Message-ID: <200310122208.h9CM8sf26075@math-cl-n01.ucr.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018682 4296 80.91.229.2 (29 Apr 2009 15:24:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:42 +0000 (UTC) To: categories@mta.ca (categories) Original-X-From: rrosebru@mta.ca Mon Oct 13 09:46:43 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 13 Oct 2003 09:46:43 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1A925w-0006Ou-00 for categories-list@mta.ca; Mon, 13 Oct 2003 09:46:40 -0300 X-Mailer: ELM [version 2.5 PL6] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 20 Original-Lines: 52 Xref: news.gmane.org gmane.science.mathematics.categories:2469 Archived-At: Michael Barr wrote: > I will let others answer about the connection between closed monoidal > categories and MLL, but I just wanted to say that I am not sure what you > mean by the category of Hilbert spaces. If you want the inner product > preserved, then only isometric injections are permitted. If you want just > bounded linear maps then you are not making any real use of the inner > product. Right. I wanted to leave things flexible so different readers could interpret my question in different ways, but I also tried to hint that I think it's crucial to work with the *-category Hilb whose objects are Hilbert spaces, whose morphisms are bounded linear maps, and whose *-structure sends the bounded linear map f: H -> H' to its Hilbert space adjoint f*: H' -> H. This *-structure can be used to define concepts crucial for quantum mechanics, like "self-adjoint" and "unitary" operators, as well as "isometric injections". Isometric injections are a nice way to study subobjects in Hilb, but they're not good enough for doing full-fledged quantum mechanics, nor is ignoring the inner product altogether. Category theorists are often a bit uncomfortable with *-categories because they prefer "adjoints" that are defined using other structure rather than put in by brute force. However, I'm convinced that we can only understand how quantum field theory exploits the analogy between differential topology and Hilbert space theory if we think about *-categories. For example, a topological quantum field theory is a symmetric monoidal functor from some *-category of cobordisms to the *-category Hilb - but the most physically realistic TQFTs are the "unitary" ones, which preserve the *-structure. I've talked about this *-stuff and the nascent concept of "n-categories with duals" in my papers on 2-Hilbert spaces http://math.ucr.edu/home/baez/2hilb.ps and 2-tangles http://math.ucr.edu/home/baez/hda4.ps and now I want to say a bit about how it impinges on quantum logic - but to avoid reinventing the wheel, I'd like to hear anything vaguely relevant anyone knows about approaching quantum logic with an eye on category theory. (I know a bit about quantales, but maybe there's other stuff I've never heard of.)