Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added publication data to:
added pointer to
Added references:
A comprehensive five-volume treatise (with a sixth volume forthcoming) is
A more concise two-volume treatise is
A classical (slightly dated) concise treatise is
Paul Halmos, Measure Theory, D. Van Nostrand Company, 1950.
Donald L. Cohn, Measure Theory, Birkhäuser, 1980. ISBN: 3-7643-3003-1
added pointer to:
(thanks to David’s comment here)
and am copying this also to Boolean topos
The original post by Tao seems to chime with your ’random as reader monad’ idea.
Thanks for the pointer. Hm, that’s a long text (with a weird but also truncated graphics on top?).
Jamneshan poses a question to the audience at 1:02:20 in his talk about relating external constructions to internal ones. Is that something to do with working in the slice over the base measure space $\Omega$?
Added:
From the nPOV, it is desirable to have a good category for measure theory.
The article categories of measure theory provides evidence that the category of compact strictly localizable enhanced measurable spaces captures the desired features of measure theory as presented in common textbooks on real analysis.
link to Measure Theory
Moved the section titled “Related work” in measurable locale about the sigma-locale approach to the measure theory article
Thomas van Kooten
1 to 10 of 10