Sober approach spaces (Q2508928)

The authors study the notion of sobriety for approach spaces. They observe that the space of regular functions of an approach space is not only a frame, but that it is equipped with a supplementary structure, that is, the set of non-negative real numbers plus \(\infty\) acts naturally on the frame of regular functions. Based on this observation the authors introduce the notion of approach frames and establish an adjunction between the category of approach spaces and the opposite category of approach frames. An approach space is called sober if the corresponding adjunction map is an isomorphism. After proving some basic properties of the adjunction between approach spaces and approach frames, the authors prove a surprising relation between sobriety and completeness and between sobrification and completion for uniform approach spaces.