A new characterization of the continuous functions on a locale (Q2499028)

Let \(W\) denote the category of Archimedean lattice-ordered groups with weak order units. In the paper, a natural convergence, called the indicated uniform convergence on \(W\)-objects, is introduced. The authors show that, within \(W\), the objects of the form \(C(L)\), the set of continuous real-valued functions on a locale \(L\), are precisely those which are divisible and complete with respect to the indicated uniform convergence. Among others, the authors construct the corresponding completion of \(W\)-objects in a purely algebraic way in terms of Cauchy sequences.