On diagonal completion of lattice-valued diagonal Cauchy spaces
We define and study diagonal axioms for lattice-valued Cauchy spaces. A completion of a weakly diagonal lattice-valued Cauchy space is constructed, which is weakly diagonal and the coarsest among such completions. It is at the same time at least as fine as any weakly regular completion.
completion l-topology l-cauchy space diagonal condition