Re: Colimits in the category of algebras of power locale monads

30 Dec 2013

      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@christophertownsend.org

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Re: Colimits in the category of algebras of power locale monads

Townsend, Christopher