From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5485 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: dagger not evil Date: Wed, 6 Jan 2010 00:40:14 -0800 Message-ID: References: Reply-To: Toby Bartels NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1262833953 32124 80.91.229.12 (7 Jan 2010 03:12:33 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 7 Jan 2010 03:12:33 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Thu Jan 07 04:12:26 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 1NSinR-0006FV-GM for gsmc-categories@m.gmane.org; Thu, 07 Jan 2010 04:12:25 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NSiEF-00008B-Sa for categories-list@mta.ca; Wed, 06 Jan 2010 22:36:03 -0400 Content-Disposition: inline In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5485 Archived-At: Andr=E9 Joyal wrote in small part: >In other words the forgetful functor DCat ---> Cat is wrong. This reminds me of the fact that the obvious forgetful functor Ban -> Set or Hilb -> Set (where now Hilb is just a category, with short linear maps as morphisms, not a dagger category) is wrong. That is, the wrong forgetful functor takes the set of points, whereas the right one takes the set of points in the closed unit ball. (Of course, both functors exist, but the right one is representable.) While the obvious forgetful functor DCat -> Cat is wrong, is there a right one? In particular, we have a functor Cat -> Grpd that takes the lluf subcategory (LS) of invertible morphisms and the functor DCat -> Grpd that takes the LS of unitary morphisms; is there a functor DCat -> Cat that completes a commutative triangle? Less rigorously but more concretely, can we start with Hilb+ (the dagger category with all bounded linear maps as morphisms) and systematically derive the class of short linear maps, much as we can systematically derive the class of unitary maps? Offhand, I don't see how to do this. (Note: "short" =3D "Lipschitz with Lipschitz constant at most 1", so "short linear" =3D "bounded linear with norm at most 1".) --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]