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.
I wrote about Dmitri Pavlov’s concept of measurable locales.
Very interesting, thanks!
(That should be measurable locale to avoid the cache bug.)
I’m just glad that this is the only thing that you had to correct!
Added a reference to Simpson’s work on sigma-locales. There is no full theory yet, but the ideas are related.
The paper https://arxiv.org/abs/2005.05284 discusses the Gelfand-type duality between commutative von Neumann algebras, measurable locales, hyperstonean locales, hyperstonean spaces, and compact strictly localizable enhanced measurable spaces.
In particular, it introduces and studies some elementary properties of the category of measurable locales.
@Toby Bartels: Can we rename this thread to “measurable locale” so that the software will deposit future edits here?
(never mind)
I have changed the thread title now and merged it with #10.
1 to 12 of 12