From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6004 Path: news.gmane.org!not-for-mail From: N.Bowler@dpmms.cam.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: Re: Tensor of monads Date: 29 Jul 2010 09:21:34 +0100 Message-ID: References: Reply-To: N.Bowler@dpmms.cam.ac.uk NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1280449347 4470 80.91.229.12 (30 Jul 2010 00:22:27 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 30 Jul 2010 00:22:27 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri Jul 30 02:22:25 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OedMj-0008QM-UV for gsmc-categories@m.gmane.org; Fri, 30 Jul 2010 02:22:22 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36173) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1OedKN-0004Kx-E6; Thu, 29 Jul 2010 21:19:55 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1OedKJ-0002zR-6X for categories-list@mlist.mta.ca; Thu, 29 Jul 2010 21:19:51 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6004 Archived-At: >in "Combining algebraic e=EF=AC=80ects with continuations", by Hyland et a= l. the=20 >authors say carefully: "In general, the tensor product of two arbitrary=20 >monads seems not to exist.." without providing a counterexample though,=20 >presumably because they did not have any. Was there any progress=20 >reported on this issue since then? Or maybe someone can even make up a=20 >counterexample right on the nail? Martin asked me about this about a year ago, and at the time I came up with= =20 something I reckoned was a counterexample, though I recall that the details= =20 were pretty foul. Do you want me to try to reconstruct it? Nathan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]