From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5469 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: Quantum computation and categories Date: Sun, 3 Jan 2010 21:02:28 -0800 Message-ID: References: Reply-To: Toby Bartels NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1262659649 10503 80.91.229.12 (5 Jan 2010 02:47:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 5 Jan 2010 02:47:29 +0000 (UTC) To: categories Original-X-From: categories@mta.ca Tue Jan 05 03:47:22 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NRzS6-000262-H6 for gsmc-categories@m.gmane.org; Tue, 05 Jan 2010 03:47:22 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NRywp-0007Pt-CT for categories-list@mta.ca; Mon, 04 Jan 2010 22:15:03 -0400 Content-Disposition: inline In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5469 Archived-At: John Baez wrote in part: >If you treat Hilbert spaces as "sets with structure", the obvious >morphisms are isometries - inner-product-preserving linear operators. But >in quantum theory, Hilbert spaces are being used for something quite >different. And so there's a struggle going on to understand this. Even in quantum theory, the obvious isomorphisms --that is, the notions of how one Hilbert space may be equivalent to another-- are invertible linear isometries, equivalently the unitary maps. To know what Hilbert spaces really "are", we only need to understand the groupoid of Hilbert spaces, which has ~unitary~ maps as morphisms. But we don't stop there; we look for a more interesting or useful category whose underlying groupoid (in an appropriate sense) is this groupoid. We could take the category whose morphisms are short linear maps; then the invertible morphisms are precisely the unitary maps. Or we could take the dagger category whose morphisms are bounded linear maps and with the usual adjoint as the dagger; the appropriate underlying groupoid in this context consists not of all invertible morphisms but only of those morphisms whose daggers are their inverses, which again are the unitary maps. (I leave open the problem of defining an appropriate structure on the category whose morphisms are all densely defined linear maps; in fact, I'm not even sure whether this is even a category. But this reduces to the previous case if we restrict to finite dimensions.) We might instead take the category whose morphisms are bounded linear maps, with no additional structure; but this gives us the ~wrong~ isomorphisms. So going only half way is no good here. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]