Product spaces in locales

Source abstract

The embedding of sober spaces in locales preserves products X × Y X \times Y where X X is quasi-locally compact. A completely regular space X X has this preservation property, for all Y Y , if and only if X X is a complemented sublocale of a compact space. Equivalently, every closed subset of X X is locally compact somewhere.