Entourages, Covers and Localic Groups

Abstract

Due to the nature of product in the category of locales, the entourage uniformities in the point-free context only mimic the classical Weil approach while the cover (Tukey type) ones can be viewed as an immediate extension. Nevertheless the resulting categories are concretely isomorphic. We present a transparent construction of this isomorphism, and apply it to the natural uniformities of localic groups. In particular we show that localic group homomorphisms are uniform, thus providing natural forgetful functors from the category of localic groups into any of the two categories of uniform locales.