The Dedekind \(\sigma\)-completion of a Riesz space (Q2503000)

The article suggests a natural category-theoretic definition of a Dedekind \(\sigma\)-completion of a Riesz space. This definition uses \(\sigma\)-homomorphisms that preserve countable suprema rather than the normal homomorphisms that were involved in the Quinn construction [\textit{J. Quinn}, Pac. J. Math. 56, 225--263 (1975; Zbl 0315.06009)]. The authors also construct a relevant \(\sigma\)-universal completion, based on the Yosida Representation Theorem.