Categorical extension of dualities: from Stone to de Vries and beyond. II (Q6182713)

The categorical extension theorem of this paper's predecessor [\textit{G. Dimov} et al., Appl. Categ. Struct. 30, No. 2, 287--329 (2022; Zbl 1492.54013)] provides a natural construction for an extension of a dual equivalence \(\mathcal{A}^{\mathrm{op}} \longleftrightarrow \mathcal{X}\), depending on a given \(\mathcal{X}\)-covering class. Extending a dual equivalence between complete lz-algebras and extremally disconnected locally compact Hausdorff spaces, the authors now construct a new algebraically defined category \(\textbf{DBoo}/\sim\) dually equivalent to the category \(\textbf{LKHaus}\) of locally compact Hausdorff spaces and continuous maps. \(\textbf{DBoo}/\sim\) is then shown to be isomorphic to the category \(\textbf{CLCA}\) of complete local contact algebras, which is already known to be dually equivalent to \(\textbf{LKHaus}\) from [\textit{G. D. Dimov}, Acta Math. Hung. 129, No. 4, 314--349 (2010; Zbl 1240.54088)]. While \(\textbf{DBoo}/\sim\) and \(\textbf{CLCA}\) have the same objects, unlike the \(\textbf{CLCA}\)-morphisms, the morphisms of \(\textbf{DBoo}/\sim\) can be naturally described as equivalence classes of Boolean homomorphisms respecting the contact relation and boundedness, composed by ordinary map composition.