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.