Showing 2025Show all
2 papers · 1 filter
math.GN2025
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…
math.KT2025
Algebraic -theory of coherent spaces
Georg Lehner
We give a description of the value of a finitary localizing invariant, such as algebraic -theory, on the category of sheaves on a locally coherent space . This in particular…