Measure theory via Locales

Georg Lehner

We present an approach to measure theory using the theory of locales. This includes concrete constructions of measure algebras associated to Radon measures, such as the Lebesgue me…