On the normal completion of a Boolean algebra (Q1874524)

A familiar construction for a Boolean algebra \(A\) is its normal completion \({\mathcal N}_A\) (given by its normal ideals or, equivalently, the intersections of its principal ideals, together with the embedding \(A\rightarrow {\mathcal N}_A\) taking each element of \(A\) to its principal ideal). In the classical setting of Zermelo-Fraenkel set theory with Choice, \({\mathcal N}_A\) is characterized in various ways; thus, it is the unique complete extension of \(A\) in which the image of \(A\) is join-dense, the unique essential completion of \(A\), and the injective hull of \(A\). In this paper, the authors are interested in characterizing the normal completion in the constructive context of an arbitrary topos. They show, among other things, that it is, even at this level, the unique join-dense, or alternatively, essential completion. En route, they investigate the functorial properties of \({\mathcal N}_A\) and establish that is the reflection of \(A\), in the category of Boolean homomorphisms which preserve all existing joins, to the complete Boolean algebras. In this context, they make crucial use of the notion of a skeletal frame homomorphism.