Sequences suffice for pointfree uniform completions (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: Sequences suffice for pointfree uniform completions
Publication Date: 2024-09-23
Authors: - Graham Richard Manuell
Abstract:

Completions of metric spaces are usually constructed using Cauchy sequences. However, this does not work for general uniform spaces, where Cauchy filters or nets must be used instead. The situation in pointfree topology is more straightforward: the correct completion of uniform locales can indeed be obtained as a quotient of a locale of Cauchy sequences.

Institution: arXiv:2409.15569
Online version: https://arxiv.org/abs/2409.15569
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support