2025/10/09 by Lehner, Georg
#18F10 #18F70 #Category Theory (math.CT) #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO) #Primary: 28A60 #Secondary: 28C15
paper · doi:10.48550/arxiv.2510.08826
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 measure on ℝn, via Grothendieck topologies constructed from valuations, that circumvent the classical approach via σ-algebras. As an application we obtain a functorial construction of the induced measure μ_* on the locale of sublocales \mathfrakSl(X) of a Hausdorff space X equipped with a Radon measure μ, which in particular shows that μ_* is invariant under measure-preserving homeomorphisms. We furthermore give a construction of the measurable locale associated to a smooth manifold, functorial in submersions, as well as comparison results to classical measure theory.