Functorial Quasi-Uniformities on Frames

We present a unified study of functorial quasi-uniformities on frames by means of Weil entourages and frame congruences. In particular, we use the pointfree version of the Fletcher construction, introduced by the authors in a previous paper, to describe all functorial transitive quasi-uniformities

Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 03–11 FUNCTORIAL QUASI-UNIFORMITIES ON FRAMES

Abstract: In this paper we present a unified study of functorial frame quasiuniformities by means of Weil entourages and frame congruences. In particular, we use the pointfree version of the Fletcher construction, introduced by the authors in a previous paper, to describe all functorial transitive quasi-uniformities