From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5418 Path: news.gmane.org!not-for-mail From: Thorsten Altenkirch Newsgroups: gmane.science.mathematics.categories Subject: Re: additions Date: Wed, 23 Dec 2009 20:51:54 +0000 Message-ID: References: Reply-To: Thorsten Altenkirch NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v936) Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1261773327 14795 80.91.229.12 (25 Dec 2009 20:35:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 25 Dec 2009 20:35:27 +0000 (UTC) To: =?ISO-8859-1?Q?Andr=E9?= Original-X-From: categories@mta.ca Fri Dec 25 21:35:20 2009 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 1NOGsZ-0003My-7v for gsmc-categories@m.gmane.org; Fri, 25 Dec 2009 21:35:19 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NOGQA-0002cW-KZ for categories-list@mta.ca; Fri, 25 Dec 2009 16:05:58 -0400 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5418 Archived-At: On 22 Dec 2009, at 02:24, Joyal, Andr=E9 wrote: > do not question the importance of the subject. > But presently, I am not convinced that quantum computing can > contribute significantly to category theory. I have to admit that I am quite ignorant about many of the areas =20 mentioned in the previous email. On the other hand developments in =20 Computer Science I know about don't seem to feature. Maybe they are =20 too mundane for Mathematicians. As far as quantum computing goes, or maybe more general quantum theory =20= from a computer science point of view, it seems to me that there are =20 interesting interactions with category theory in the recent work by =20 Samson Abramsky, Bob Coecke, Peter Selinger and many others. E.g. the =20= completeness of the graph theoretical calculus for dagger compact =20 closed categories modelling finite dimensional Hilbert spaces. Cheers, Thorsten [For admin and other information see: http://www.mta.ca/~cat-dist/ ]