From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8574 Path: news.gmane.org!not-for-mail From: Paul Taylor Newsgroups: gmane.science.mathematics.categories Subject: Re: Question about coequalizers in the category of algebras of the double power locale monad Date: Wed, 25 Mar 2015 08:16:07 +0000 (GMT) Message-ID: References: Reply-To: Paul Taylor NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1427321921 10635 80.91.229.3 (25 Mar 2015 22:18:41 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 25 Mar 2015 22:18:41 +0000 (UTC) Cc: categories , Steve Vickers To: Chris Townsend Original-X-From: majordomo@mlist.mta.ca Wed Mar 25 23:18:33 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Yatd6-0003EA-Ib for gsmc-categories@m.gmane.org; Wed, 25 Mar 2015 23:18:28 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:55931) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Yatbg-00078T-H8; Wed, 25 Mar 2015 19:17:00 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Yatbf-0006Jz-Gr for categories-list@mlist.mta.ca; Wed, 25 Mar 2015 19:16:59 -0300 User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8574 Archived-At: Chris Townsend asked the same question, > I was wondering if anyone knew whether or not the category of algebras > of the double power locale monad has coequalizers? Reflexive ones will do. more than a year ago on MathOverflow, mathoverflow.net/questions/154883/coequalizers-in-the-category-of-algebras-of-the-double-power-locale-monad where I gave as much of an answer as I could. Nobody else responded there and I suspect that no more is known about this topic now. But if anyone does know any more, I suggest that they take advantage of the formatting facilities of MathOverflow and also keep things in one place. Paul Taylor. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]