We will explore the notion of farness in (pre-)uniform frames and the role it plays in characterizing uniform continuity of real-valued functions. We will describe the relation of farness between elements in a frame in terms of Galois adjunctions. This will allow us to present a Urysohn-type separation result for (pre-)uniform frames whose proof relies on a purely algebraic (order-theoretical) construction.

This is a joint work with Jorge Picado.