@UNPUBLISHED{publication1, title = "Another proof of Banaschewski's surjection theorem", author = "{BABOOLAL, Dharmanand} and {PICADO, Jorge} and {PULTR, Ales}", year = "2018-07-18", abstract = "We 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. ", url = "http://www.mat.uc.pt/preprints/eng\_2018.html", note = "" }