Integrals and Valuations
Logic
2009-04-01 v3 Category Theory
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.
Cite
@article{arxiv.0808.1522,
title = {Integrals and Valuations},
author = {Thierry Coquand and Bas Spitters},
journal= {arXiv preprint arXiv:0808.1522},
year = {2009}
}
Comments
Submitted for publication 15/05/08