Another proof of Banaschewski's surjection theorem (Preprint)

  <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
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support