Localic completion of quasimetric spaces
File(s)DTR97-2.pdf (3.72 MB)
Technical report
Author(s)
Vickers, Steven
Type
Report
Abstract
We give a constructive localic account of the completion of quasimetric spaces. In the context of Lawvere's approach, using enriched categories, the points of the completion are flat left modules over the quasimetric space. The completion is a triquotient surjective image of a space of Cauchy sequences and can also be embedded in a continuous depo, the "ball domain". Various examples and constructions are given, including the lower, upper and Vietoris powerlocales, which are completions of finite powerspaces. The exposition uses the language of locales as "topology-free spaces".
Date Issued
1997-02-21
Citation
Departmental Technical Report: 97/2, 1997, pp.1-33
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
33
Journal / Book Title
Departmental Technical Report: 97/2
Copyright Statement
© 1995 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published