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.
A coupld additions to measurable space that I've been sitting on for a while, and which I've realised that I'm not going to write more clearly anytime soon.
But someday I would like to move a lot of the discussion about various approaches to measure theory and make measurable space itself simpler, with pointers to variations.
I have added pointers to the various detailed MO posts by Dmitry Pavlov on measurable spaces.
Your editing lost a bit of material while moving it! (I put that back.)
Oops, sorry, didnâ€™t notice this.
By the way, in the MO posts by Dmitry Pavlov he mentions a few things that eventually deserve to be added to the $n$Lab entry. Such as the role of locales. Maybe at some point somebody finds the time to work that into our entry.
1 to 4 of 4