Another proof of Banaschewski's surjection theorem
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 n...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahid Beheshti University
2019-07-01
|
| Series: | Categories and General Algebraic Structures with Applications |
| Subjects: | |
| Online Access: | https://cgasa.sbu.ac.ir/article_76726_f134d7becf0d86ec81e2ee5972440080.pdf |