On the completion monad via the Yoneda embedding in quasi-uniform spaces (Q645207)

The authors make use of a presentation of quasi-uniform spaces as generalized enriched categories. They describe the category of quasi-uniform spaces and uniformly continuous maps as a category of lax proalgebras. This approach allows them to define categorical concepts and apply categorical techniques in the study of quasi-uniformities. In particular they construct a Yoneda embedding for quasi-uniform spaces which allows them to construct the Cauchy completion in the language of modules. This turns out to be related to the theory of scales of (uniform) spaces introduced by Bushaw.