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.
Created:
The dissolution locale ℭL of a locale L is defined as the poset of its sublocales (equivalently: nuclei on L) equipped with the relation of reverse inclusion.
There is a canonical morphism of locales
ι:ℭL→Lsuch that the map ι* sends an open a∈L to the open in ℭL given by the open sublocale of a.
The map ℭL→L can be considered an analogue of the canonical map Td→T for a topological space T, where Td is the underlying set of T equipped with the discrete topology.
In particular, discontinuous maps L→M could be defined as morphisms of locales ℭL→M, see Picado–Pultr, XIV.7.3.
Original reference:
Expository account:
1 to 1 of 1