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.
Added:
Given a compact Hausdorff space , its hyperstonean cover is defined as a continuous map of compact Hausdorff spaces
that under the Gelfand duality corresponds to the canonical inclusion into the double dual.
The hyperstonean cover of a compact Hausdorff space is introduced in
1 to 4 of 4