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.