Re: Question about coequalizers in the category of algebras of the double power locale monad

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/ ]