Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585311Special Issue Dedicated to Prof. George A. Grätzer20190701Another proof of Banaschewski's surjection theorem1131307672610.29252/cgasa.11.1.113ENDharmanandBaboolalSchool of Mathematics, Statistics and Computer Science, University of KwaZulu-Natal, Durban 4000, South Africa.JorgePicadoDepartment of Mathematics
University of Coimbra
PORTUGALAlesPultrDepartment of Applied Mathematics and ITI, MFF, Charles University,
Malostranske nam. 24, 11800 Praha 1, Czech RepublicJournal Article20180617We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform sublocale can be extended to a (regular) Cauchy point on the larger (quasi-)uniform frame.https://cgasa.sbu.ac.ir/article_76726_f134d7becf0d86ec81e2ee5972440080.pdf