Imperial College London
Mr Lloyd Kamara

MrLloydKamara

Faculty of Engineering, Department of Computing

Computing Support Manager
 
 
 
//

Contact

 

+44 (0)20 7594 8400l.kamara Website

 
 
//

Location

 

305Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@techreport{Vickers:1997,
author = {Vickers, S},
booktitle = {Departmental Technical Report: 97/2},
publisher = {Department of Computing, Imperial College London},
title = {Localic completion of quasimetric spaces},
url = {http://hdl.handle.net/10044/1/95195},
year = {1997}
}
Download

RIS format (EndNote, RefMan)

TY  - RPRT
AB  - 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".
AU  - Vickers,S
PB  - Department of Computing, Imperial College London
PY  - 1997///
TI  - Localic completion of quasimetric spaces
T1  - Departmental Technical Report: 97/2
UR  - http://hdl.handle.net/10044/1/95195
ER  -
Download