Integrals and Valuations
arXiv:0808.1522 · doi:10.4115/jla.2009.1.3
Abstract
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.
Submitted for publication 15/05/08
Cited by in corpus (12)
- Intuitionistic quantum logic of an n-level system
- Quantum States and Measures on the Spectral Presheaf
- Probability, valuations, hyperspace: Three monads on Top and the support as a morphism
- The Born rule as structure of spectral bundles (extended abstract)
- Bohrification of local nets of observables
- On the close interaction between algorithmic randomness and constructive/computable measure theory
- Gelfand spectra in Grothendieck toposes using geometric mathematics
- Geometric constructions preserve fibrations
- Computability in Basic Quantum Mechanics
- Topos-Theoretic Approaches to Quantum Theory
- Computable Random Variables and Conditioning
- Presenting de Groot duality of stably compact spaces