* Question about coequalizers in the category of algebras of the double power locale monad
@ 2015-03-24 11:44 Townsend, Christopher
2015-03-25 8:16 ` Paul Taylor
0 siblings, 1 reply; 2+ messages in thread
From: Townsend, Christopher @ 2015-03-24 11:44 UTC (permalink / raw)
To: 'categories@mta.ca'
Hello -
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.
Thanks, Christopher
From: Townsend, Christopher <Christopher.Townsend <at> rbccm.com>
Subject: RE: Colimits in the category of algebras of power locale monads
Newsgroups: gmane.science.mathematics.categories
Date: 2013-12-30 16:46:31 GMT (1 year, 11 weeks, 6 days, 12 hours and 54 minutes ago)
Hello,
If P is the upper, lower or double power locale monad on the category of locales (Loc), does anyone know if the
corresponding category of EM algebras, Loc^P, has (i) coequalizers; and/or, (ii) finitary coproducts?
Thanks, Christopher
info <at> christophertownsend.org
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Question about coequalizers in the category of algebras of the double power locale monad
2015-03-24 11:44 Question about coequalizers in the category of algebras of the double power locale monad Townsend, Christopher
@ 2015-03-25 8:16 ` Paul Taylor
0 siblings, 0 replies; 2+ messages in thread
From: Paul Taylor @ 2015-03-25 8:16 UTC (permalink / raw)
To: Chris Townsend; +Cc: categories, Steve Vickers
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/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-03-25 8:16 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-03-24 11:44 Question about coequalizers in the category of algebras of the double power locale monad Townsend, Christopher
2015-03-25 8:16 ` Paul Taylor
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).