Notes on point-free real functions and sublocales

Abstrakt

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

Klíčová slova

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