Is there such a thing as the sigma-completion of a Boolean algebra?

The short answer is "yes", and it's a special case of a much, much more general theorem on relatively free algebraic constructions.

In other language, you are asking whether the underlying functor from countably complete Boolean algebras to Boolean algebras has a left adjoint. The more general question is whether, given a homomorphism $\phi: S \to T$ between two monads on $Set$, the evident underlying functor

$$Set^\phi: Set^T \to Set^S$$

from the category of $T$-algebras to the category of $S$-algebras has a left adjoint. For this I'll direct your attention to this nLab article.

Of course, we have to know that countably complete Boolean algebras can be described as algebras of a monad on $Set$, but this too follows from general theory. I'll refer you to another nLab article for this; the article is not complete but it should give the idea. The upshot is that for any algebraic theory with only a small set of operations of each arity, there is a corresponding monad on $Set$ whose algebras are the models of the theory. The general constructions go back to work in the sixties, due to Lawvere, Linton, and others.

Edit: I'll remark that had you said "complete" instead of "countably complete", then the answer would have been no. In fact, the underlying functor from complete Boolean algebras to sets has no left adjoint; this is mentioned for instance in Categories for the Working Mathematician. But in your case, the theory is generated by a set of operations and equations, and all is well.


Every Boolean algebra $\mathbb{B}$ embeds densely in its completion as a Boolean algebra, which is a complete Boolean algebra (more than just countably complete). The completion $\bar{\mathbb{B}}$ can be constructed as the regular open algebra, the set of all regular open subsets of $\mathbb{B}-\{0\}$, where the topology is generated by the basic open sets consisting of lower cones. A set is regular open if it is the interior of its closure.

Indeed, the completion operation is extremely general, and is used pervasively in set theory in the context of the forcing technique. Every separative partial order $\mathbb{P}$, and this includes any Boolean algebra (minus $0$), embeds densely in its regular open algebra, and this is always a complete Boolean algebra. This fact is the main connection between the poset-based account of forcing and the Boolean-algebra based account of forcing.

The wikipedia link above lists several universal properties of this completion.


In the course of a forthcoming research project with Asgar Jamneshan (in ergodic theory), we managed to discover a rather explicit answer to this question, which I am recording here if anyone is interested.

Let ${\mathcal B}$ be a Boolean algebra, let $\mathrm{Stone}({\mathcal B})$ be its Stone space (the space of Boolean homomorphisms $\alpha$ from ${\mathcal B}$ to $\{0,1\}$), let $\Sigma$ be the Baire $\sigma$-algebra of $\mathrm{Stone}({\mathcal B})$. Then there is a natural inclusion $\iota \colon {\mathcal B} \to \Sigma$ defined by sending each $E \in {\mathcal B}$ to the clopen set $\{ \alpha \in \mathrm{Stone}({\mathcal B}): \alpha(E) = 1 \}$. This is a Boolean homomorphism which is universal in the sense that for every Boolean homomorphism $f \colon {\mathcal B} \to {\mathcal X}$ into a $\sigma$-complete Boolean algebra ${\mathcal X}$ there is a unique lift $\tilde f: \Sigma \to {\mathcal X}$ such that $f = \tilde f \circ \iota$.

  • Proof of uniqueness: the clopen sets in the Stone space $\mathrm{Stone}({\mathcal B})$ separate points, hence by Stone-Weierstrass the Baire algebra is generated by the clopen sets, hence $\Sigma$ is generated by $\iota({\mathcal B})$, giving uniqueness.
  • Proof of existence: Stone duality gives a continuous map from $\mathrm{Stone}({\mathcal X})$ to $\mathrm{Stone}({\mathcal B})$, which pulls back Baire sets to Baire sets, thus maps $\Sigma$ to Baire sets in $\mathrm{Stone}({\mathcal X})$, each one of which can be associated to an element of ${\mathcal X}$ by the Loomis-Sikorski theorem (every Baire set in $\mathrm{Stone}({\mathcal X})$ is equivalent up to meager sets to a unique clopen set). One easily verifies that this gives a map $\tilde f: \Sigma \to {\mathcal X}$ with the required properties.

[EDIT: a previous version erronously assumed that the pullback of a meager set was meager, leading to an incorrect conclusion. Now corrected.]