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.
The category theory zulip thinks that the paragraph about the sigma-locale approach to measure theory in the Constructive mathematics section should be removed:
https://categorytheory.zulipchat.com/#narrow/stream/229136-theory.3A-category-theory/topic/One.20universe.20as.20a.20foundation.20.26.20friends/near/466112440
There is no actual constructive measure theory using sigma-locales, and plenty of debate on whether sigma-locales are a good approach to measure theory in general.
Thomas van Kooten
Moved the section titled “Related work” in measurable locale about the sigma-locale approach to the measure theory article
Thomas van Kooten
@Thomas: the syntax for making a raw url a link is <https://example.com>
, and should work in the edit box
1 to 15 of 15