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.

• Type: Journal
• Year: 2005
• Where: ACS
• Authors: Maria João Ferreira, Jorge Picado
• Keywords: ACS 2005, ACS 2007, Functorial Frame Quasiuniformities, Functorial Transitive Quasi-uniformities, Unified Study