Article ID Journal Published Year Pages File Type
4665180 Advances in Mathematics 2016 55 Pages PDF
Abstract

In this paper we prove, as conjectured by B. Banachewski and C.J. Mulvey, that the constructive Gelfand duality can be extended into a duality between compact regular locales and unital abelian localic C⁎C⁎-algebras. In order to do so we develop a constructive theory of localic metric spaces and localic Banach spaces, we study the notion of localic completion of such objects and the behavior of these constructions with respect to pull-back along geometric morphisms.

Related Topics
Physical Sciences and Engineering Mathematics Mathematics (General)
Authors
,