On the Completion Monad via the Yoneda Embedding in Quasi-uniform Spaces

Abstract

Making use of the presentation of quasi-uniform spaces as generalised enriched categories, and employing in particular the calculus of modules, we define the Yoneda embedding, prove a (weak) Yoneda Lemma, and apply them to describe the Cauchy completion monad for quasi-uniform spaces.

Cite this paper

@inproceedings{Clementino2010OnTC, title={On the Completion Monad via the Yoneda Embedding in Quasi-uniform Spaces}, author={Maria Manuel Clementino and Dirk Hofmann}, year={2010} }