A generalization of the Stone duality theorem (Q2400865)

In this paper the authors deal with a generalization of the Stone Duality Theorem for Boolean algebras. Denoting by \(\mathbf{MCS}\) the category whose objects are all mereocompact \(T_0\)-spaces and whose morphisms are all continuous maps between mereocompact \(T_0\)-spaces preserving the corresponding u-points, then the authors show a duality theorem for contact Algebras \(\mathbf{CA}\): ``The categories \(\mathbf{CA}\) and \(\mathbf{MCS}\) are dually equivalent''. Let \(\mathbf{PCA}\) be the category of all precontact algebras (and suitable morphisms between them) and \(\mathbf{PCS}\) be the category of all 2-precontact spaces (and suitable morphisms between them). The authors show, also, that the full subcategory \(\mathbf{PCAC}\) of the category \(\mathbf{PCA}\) whose objects are all connected precontact algebras is dually equivalent to the full subcategory \(\mathbf{PCSC}\) of the category \(\mathbf{PCS}\) with objects all connected 2-precontact spaces.