@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 = ""
}