A good answer to both questions is provided by the following variant of the Gelfand duality for commutative von Neumann algebras, which shows that the following categories are equivalent:

• The category CSLEMS of compact strictly localizable enhanced measurable spaces;

• The category HStonean of hyperstonean spaces and open maps.

• The category HStoneanLoc of hyperstonean locales and open maps.

• The category MLoc of measurable locales, defined as the full subcategory of the category of locales consisting of complete Boolean algebras that admit sufficiently many continuous valuations.

• The opposite category CVNA^op of commutative von Neumann algebras, whose morphisms are normal *-homomorphisms of algebras in the opposite direction.

The first category, despite the rather complicated name, is essentially the correct category for measure theory: it incorporates equality almost everywhere, a (generalized) σ-finiteness property, and an abstract variant of the Radon measure property, which eliminate pathological measurable (and measure) spaces for which some of the most basic theorem of measure theory (such as the Riesz representation theorem or the Radon–Nikodym theorem) fail.

Of particular interest is the fourth category MLoc of mesurable locales. It is a full subcategory of the category of locales, which quite interesting: it demonstrates that both point-set general topology (as implemented by the category of topological spaces) and point-set measure theory (as implemented by the above category CSLEMS) are a part of pointfree general topology, implemented by full subcategory of the category of locales.

These parts (i.e., general topology and measure theory) are almost disjoint: locales corresponding to topological spaces are spatial, i.e., have enough points. On the other hand, points in a measurable locale are in a bijective correspondence with atoms in the original measure space. In particular, atomless measure spaces (i.e., what is typically used in practice) correspond to locales that have no points at all.

Returning to topos theory: working in the topos of sheaves of sets on a measurable locale amounts to doing ordinary mathematics in measurable families over a measurable space. For example, doing internal linear algebra in such a topos corresponds to working with measurable vector bundles, etc.

A good answer to both questions is provided by the following variant of the Gelfand duality for commutative von Neumann algebras, which shows that the following categories are equivalent:

• The category CSLEMS of compact strictly localizable enhanced measurable spaces;

• The category HStonean of hyperstonean spaces and open maps.

• The category HStoneanLoc of hyperstonean locales and open maps.

• The category MLoc of measurable locales, defined as the full subcategory of the category of locales consisting of complete Boolean algebras that admit sufficiently many continuous valuations.

• The opposite category CVNA^op of commutative von Neumann algebras, whose morphisms are normal *-homomorphisms of algebras in the opposite direction.

The first category, despite the rather complicated name, is essentially the correct category for measure theory: it incorporates equality almost everywhere, a (generalized) σ-finiteness property, and an abstract variant of the Radon measure property, which eliminate pathological measurable (and measure) spaces for which some of the most basic theorem of measure theory (such as the Riesz representation theorem or the Radon–Nikodym theorem) fail.

Of particular interest is the fourth category MLoc of measurable locales, which is a full subcategory of the category of locales. Thus, both point-set general topology (as implemented by the category of topological spaces) and point-set measure theory (as implemented by the above category CSLEMS) are a part of pointfree general topology.

These parts (i.e., general topology and measure theory) are almost disjoint: locales corresponding to topological spaces are spatial, i.e., have enough points. On the other hand, points in a measurable locale are in a bijective correspondence with atoms in the original measure space. In particular, atomless measure spaces (i.e., what is typically used in practice) correspond to locales that have no points at all.

Returning to topos theory: working in the topos of sheaves of sets on a measurable locale amounts to doing ordinary mathematics in measurable families over a measurable space. For example, doing internal linear algebra in such a topos corresponds to working with measurable vector bundles, etc.