Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\) (Q5932475)

The paper deals with the internal notion of injectivity for Boolean algebras in the topos \({\mathcal {MS}}et\) of \(M\)-sets. For an equational category \(\mathcal A\) of algebras (that is a category whose class of objects forms a variety of algebras and whose morphisms are all homomorphisms) by an \(M\)-algebra is meant an algebra in \({\mathcal A}\) which is also an \(M\)-set whose actions are homomorphisms in \(\mathcal A\). Injectivity in categories of \(M\)-algebras is considered and studied. For an ordinary Boolean algebra, injectivity is the same as completeness and the injective hull is the same as normal completion. The problem is investigated here how the notion of completeness relates to internal injectivity. The internal injectivity of the initial Boolean algebra \textbf{2} which is equivalent to the prime ideal theorem for Boolean algebras in this topos is considered. The basic general facts concerning internal injectivity in \({\mathcal {MS}}et\) for arbitrary equational classes of algebras is developed before turning to Boolean algebras specifically.