Cauchy completion of fuzzy quasi-uniform spaces

Abstract

In this paper, we study the completion of fuzzy quasi-uniform spaces from a categorical point of view. Firstly, we introduce the concept of prorelations and describe fuzzy quasi-uniform spaces as enriched categories. Then we construct the Yoneda embedding in fuzzy quasi-uniform spaces through promodules, and prove the validness of Yoneda Lemma for right adjoint promodules. Finally, we study the Cauchy completion of fuzzy quasi-uniform spaces by the Yoneda embedding. We show that the inclusion functor from the category of T0 separated complete fuzzy quasi-uniform spaces to the category of fuzzy quasiuniform spaces has a left adjoint functor. The monad related to this adjunction is just the T0 completion monad of fuzzy quasi-uniform spaces.