From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2468 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: Re: quantum logic Date: Sun, 12 Oct 2003 16:49:12 -0400 (EDT) Message-ID: References: <200310120057.h9C0vK816608@math-cl-n01.ucr.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241018680 4293 80.91.229.2 (29 Apr 2009 15:24:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:40 +0000 (UTC) To: categories Original-X-From: rrosebru@mta.ca Mon Oct 13 09:45:19 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 13 Oct 2003 09:45:19 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1A924W-0006Ix-00 for categories-list@mta.ca; Mon, 13 Oct 2003 09:45:12 -0300 In-Reply-To: <200310120057.h9C0vK816608@math-cl-n01.ucr.edu> Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 19 Original-Lines: 17 Xref: news.gmane.org gmane.science.mathematics.categories:2468 Archived-At: 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. And the spaces are self-dual, so it is not a good model of *-autonomy. Perhaps of compact categories, I would have to think about it. But anyway, you have to say what category is meant. Another possibility is partial isometries (which can be thought of as total by being zero on the subspace orthognal to the domain). This is a lot like sets and partial injections. Michael