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