Are epimorphisms in the category of Stone spaces surjective?

Question

Clearly, if a map between Stone spaces is surjective on points it is an epimorphism. In the category of topological spaces, surjections coincide with epimorphisms. In the category of Hausdorff spaces, epimorphisms are precisely the continuous functions with dense image: in one direction, dense maps are epis since equalizers are closed and $hf=kf$ iff $\mathrm{im}(f)$ is contained in the equalizer of $h$ and $k$; in the other direction, if $f:X\to Y$ doesn't have dense image, then it coequalizes the two distinct maps $i,j: X\to (X+X)/\sim$ where $\sim$ identifies the two copies of the closure of the image. I think if the construction of $(X+X)/\sim$ could be performed in the category of Stone spaces it would show that all epimorphisms in this category are surjective, since $\mathrm{im}(f)$ is always closed whenever $X$ is compact Hausdorff. However, I don't know if Stone spaces are closed under the necessary pushouts as a subcategory of topological spaces.

Answer 1

For a direct topological proof, suppose $f:X\to Y$ is not surjective and let $y\in Y\setminus f(X)$. In a Stone space, points can be separated by clopen sets, and then by a compactness argument points and closed sets can be separated by clopen sets. So, there is a clopen set $C\subseteq Y$ such that $y\in C$ and $f(X)\subseteq Y\setminus C$. We now have $1_Cf=0f$ where $1_C,0:Y\to\{0,1\}$ are the characteristic function of $C$ and the constant $0$ map, respectively. This witnesses that $f$ is not epic in the category of Stone spaces.

Answer 2

The category of Stone spaces is dually equivalent to that of Boolean algebras, so an epimorphism of Stone spaces is exactly the same as a monomorphism between the underlying algebras.

But now a monomorphism of Boolean algebras is injective (the forgetful functor to $\mathbf{Set}$ preserves monomorphisms, because it has a left adjoint); so we may ask : let $f: B\to B'$ be an injective morphism of Boolean algebras, and let $U\in S(B)$ be an ultrafilter. Is there an ultrafilter $U'$ on $B'$ such that $f^*U' = U$. But here $f^*U'$ is simply $f^{-1}U' = B\cap U'$ if we treat $B$ as a subalgebra of $B'$.

And then the answer is clearly yes : let $U$ be an ultrafilter on $B$. Then look at its image in $B'$ : it's a filter, and is therefore contained in some ultrafilter $U'$. Now $U'\cap B$ is an ultrafilter, which contains $U$ and must therefore be equal to $U$.

So $f^*$ is surjective, and any epimorphism is of the form $f^*$ for some monomorphism $f$ (up to isomorphism), so we are done.