<Reference List> | |
Type: | Preprint |
National /International: | International |
Title: | Another proof of Banaschewski's surjection theorem |
Publication Date: | 2018-07-18 |
Authors: |
- Dharmanand Baboolal
- Jorge Picado - Ales Pultr |
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. |
Institution: | DMUC 18-25 |
Online version: | http://www.mat.uc.pt...prints/eng_2018.html |
Download: | Not available |