background image

12 Rest

https://en.wikipedia.org/wiki/Cauchy_filter#Cauchy_filters

https://en.wikipedia.org/wiki/Uniform_space “Hausdorff completion of a uniform space” here)
http://at.yorku.ca/z/a/a/b/13.htm : the category

Prox

of proximity spaces and proximally

continuous maps (i.e. maps preserving nearness between two sets) is isomorphic to the category
of totally bounded uniform spaces (and uniformly continuous maps).

https://en.wikipedia.org/wiki/Cauchy_space http://ncatlab.org/nlab/show/Cauchy+space
http://arxiv.org/abs/1309.1748
http://projecteuclid.org/download/pdf_1/euclid.pja/1195521991
http://www.emis.de/journals/HOA/IJMMS/Volume5_3/404620.pdf
~/math/books/Cauchy_spaces.pdf

Bibliography

[1]

Victor Porton.

Algebraic General Topology. Volume 1

. 2013.

6

Section