More on upper bicompletion-true functorial quasi-uniformities

• Published in: Topology and its applications Vol. 158; no. 15; pp. 1937 - 1941
• Main Authors: Brümmer, G.C.L., Künzi, Hans-Peter A., Sioen, M.
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 15.09.2011
• Subjects: Bicompletion; Epimorphism; Functorial quasi-uniformity; K-true; Lower K-true; Prereflection; Strong topology; Upper K-true; 54B30; Strong topology; Bicompletion; Functorial quasi-uniformity; Prereflection; Epimorphism; 54E15; 18A40; Upper K-true; Lower K-true; K-true
• DOI: 10.1016/j.topol.2011.06.036
• ISSN: 0166-8641

Let T : QU 0 → Top 0 denote the usual forgetful functor from the category of quasi-uniform T 0 -spaces to that of the topological T 0 -spaces. We regard the bicompletion reflector as a (pointed) endofunctor K : QU 0 → QU 0 . For any section F : Top 0 → QU 0 of T we consider the (pointed) endofunctor R = T K F : Top 0 → Top 0 . The T-section F is called upper bicompletion-true (briefly, upper K-true) if the quasi-uniform space KFX is finer than FRX for every X in Top 0 . An important known characterisation is that F is upper K-true iff the canonical embedding X → R X is an epimorphism in Top 0 for every X in Top 0 . We show that this result admits a simple, purely categorical formulation and proof, independent of the setting of quasi-uniform and topological spaces. We thus mention a few other settings where the result is applicable. Returning then to the setting T : QU 0 → Top 0 , we prove: Any T-section F is upper K-true iff for all X the bitopology of KFX equals that of FRX; and iff the join topology of KFX equals the strong topology (also called the b- or Skula topology) of RX.