Jorge Picado; Maria João Ferreira;
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.
Applied Categorical Structures