Integrals and valuations

Coquand & Spitters
2009 Journal of Logic and Analysis  
We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of (valuations) on its spectrum. In fact, we construct two geometric theories and show that they are biinterpretable. The constructions are elementary and tightly connected to the Riesz space structure.
doi:10.4115/jla.2009.1.3 fatcat:cr4u2ncygvdznlbvli7cuc27au