Cauchy completion of fuzzy quasi-uniform spaces

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