From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6015 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: Re: Tensor of monads Date: Sat, 31 Jul 2010 08:48:43 -0400 (EDT) Message-ID: References: Reply-To: Michael Barr NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: dough.gmane.org 1280613486 2273 80.91.229.12 (31 Jul 2010 21:58:06 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 31 Jul 2010 21:58:06 +0000 (UTC) Cc: Sergey Goncharov , categories@mta.ca To: Richard Garner Original-X-From: majordomo@mlist.mta.ca Sat Jul 31 23:58:05 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.139]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OfK4B-0002oD-OS for gsmc-categories@m.gmane.org; Sat, 31 Jul 2010 23:58:04 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43003) by smtpy.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1OfK3H-0005nB-MX; Sat, 31 Jul 2010 18:57:07 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1OfK3C-00020Y-90 for categories-list@mlist.mta.ca; Sat, 31 Jul 2010 18:57:02 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6015 Archived-At: I am afraid you are right. Here is what Manes says on the subject in LNM80: It is an open question whether or not $\t\otimes\widetilde{\t}$ always exists. A constructive proof can be given if both $\t$ and $\widetilde{\t}$ have a rank (in the sense of \cite[2.2.6]{man}) by generalizing Freyd's proof in \cite{fre}. What I had in mind involved two isomorphic, but distinct triples. The one coming from the underlying functor of complete sup semilattices (whose mu would be union) and the other coming from complete inf semilattices (whose mu is intersection). The problem comes when you make those operations commute with each other. It would seem to me that would force complete distributivity. But completely distributive boolean algebras do give a tripleable category. Perhaps the moderator could throw some light on this from his work on CCD lattices. Could this still be unknown? I guess it could. It is not a topic that has aroused a great deal of interest. Sorry, Michael On Sat, 31 Jul 2010, Richard Garner wrote: > Isn't P * P isomorphic to P, by the Eckmann-Hilton argument? > > On 29 July 2010 20:29, Michael Barr wrote: > >> There are examples in Ernie Manes's 1967 thesis. Perhaps the simplest >> (although it piggybacks on the non-existence of free complete boolean >> algebras that had been know for only a few years at the time) is that the >> tensor product of the complete sup semilattice triple with itself doesn't >> exist. The triple takes a set X to 2^X and can be interpreted also as the >> complete inf semilattice triple. On the other hand, I think Manes showed >> that the tensor product of the beta triple with itself exists, but is one >> of the two inconsistent triples, the one that fixes the empty set and >> takes all non-empty sets to one point. (The other inconsistent triple >> takes all sets to one point.) >> >> >> On Wed, 28 Jul 2010, Sergey Goncharov wrote: >> >> Dear categorists, >>> >>> in "Combining algebraic eects with continuations", by Hyland et al. the >>> >>> authors say carefully: "In general, the tensor product of two arbitrary >>> monads seems not to exist.." without providing a counterexample though, >>> presumably because they did not have any. Was there any progress reported >>> on >>> this issue since then? Or maybe someone can even make up a counterexample >>> right on the nail? >>> >>> Thanks, >>> >>> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]