Localic metric spaces and the localic Gelfand duality (Q266141)

In [Ann. Pure Appl. Logic 137, No. 1--3, 62--103 (2006; Zbl 1103.18001)], \textit{B. Banaschewski} and \textit{C. J. Mulvey} proved that the classical Gelfand duality between commutative \(C^{\ast}\)-algebras and compact Hausdorff topological spaces can be extended via a constructive (in ZF Theory) approach into a Gelfand type duality between \(C^{\ast}\)-algebras and compact completely regular locales. They pointed out, however, that the condition of compact complete regularity is not so natural and something nicer would be expected. More precisely, it would be better to weaken this hypothesis into compact regular (or, equivalently, compact separated). Nevertheless, a non completely regular locale need not have complex-valued continuous functions, so that a Gelfand duality has no reason to exist in a satisfactory way. They suggested therefore a different alternative to get around the problem, namely, an extension into a Gelfand duality between compact regular locales and certain localic \(C^{\ast}\)-algebras yet to be introduced. In this remarkable paper, the author solves the problem by defining, indeed, a notion of localic \(C^{\ast}\)-algebras (called \(C^{\ast}\)-locales) and use this concept to establish the conjecture of Banaschewski and Mulvey. In this regard, he developed a constructive theory of localic metric (as well as, Banach) spaces and their localic completions. More details can be found in this very interesting article.