Abstract: | 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.Mathematics Subject Classifications (2000) 06D22, 54B30, 54E05, 54E15, 54E55.Jorge Picado: The authors acknowledge partial financial assistance by the Centro de Matemática da Universidade de Coimbra/FCT. |