Pointfree pointwise suprema in unital archimedean $\ell$-groups

Richard N. Ball, Anthony W. Hager, Joanne Walters-Wayland

We generalize the concept of the pointwise supremum of real-valued functions to the pointfree setting. The concept itself admits a direct and intuitive formulation which makes no m…