Diagonal completion of quantale-valued Cauchy tower spaces


G. Jäger




We study certain diagonal axioms defined for quantale-valued Cauchy tower spaces and their relations to similar diagonal axioms for quantale-valued convergence tower spaces and quantale-valued uniform limit tower spaces. We construct a completion for a quantale-valued Cauchy tower space that preserves a diagonal axiom and show that our construction is the coarsest possible such completion.