Notes on point-free real functions and sublocales

Abstract

Study of real functions in the point-free context, modelling of general (not necessarily continuous) ones, rings of continuous functions and other topics.

Keywords

• frames and locales
• point-free reals
• contonuous and general real functions