Generalized Cauchy Spaces

In this paper a unified theory of Cauchy spaces is presented including the classical cases of filter and sequence Cauchy spaces. To by-pass a lattice-theoretical barrier the notion of Urysohn modification of a functor is introduced. Employing this notion for many types of generalized Cauchy spaces a completion method is given.