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:
Hyperstonean locales can be defined as Stonean locales that admit sufficiently many normal valuations.
Assuming the axiom of choice, Stonean locales are spatial, so the category of hyperstonean locales is equivalent to the category of hyperstonean spaces.
1 to 2 of 2