# Tag Archives: locale

## Exponentiable locales II: the exponentiable locales are the continuous frames

Two months ago, we have seen that every exponentiable locale had to be continuous, as a frame. We will see that the converse holds: the continuous frames are exactly the exponentiable locales. The result is due to Martin Hyland in … Continue reading

Posted in Uncategorized | | Comments Off on Exponentiable locales II: the exponentiable locales are the continuous frames

## Exponentiable locales I: every exponentiable locale is continuous

The exponentiable objects of Top are exactly the core-compact spaces. Through Stone duality, the core-compact spaces are related to the continuous frames. So here is a wild guess: would the exponentiable locales be exactly the continuous frames? That is indeed … Continue reading

Posted in Uncategorized | | Comments Off on Exponentiable locales I: every exponentiable locale is continuous

## Localic products and Till Plewe’s game

Products in the category of locales resemble, but do not coincide with products in the category of topological spaces. Till Plewe has a nice explanation to this, as I will explain in this month’s post: the localic product of two … Continue reading

Posted in Uncategorized | | Comments Off on Localic products and Till Plewe’s game

## Countably presented locales

Reinhold Heckmann showed the following in a very nice paper of 2014: every countably presented locale is spatial. What makes it even nicer is that he shows how tightly this is connected with the Baire property. This also gives a … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Countably presented locales

## The locale of random elements of a space

Alex Simpson has a lot of slides with very interesting ideas.  One of them is what he calls the locale of random sequences.  This is a terribly clever idea that aims at solving the question “what are random sequences?”, using … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on The locale of random elements of a space

## Isbell’s density theorem and intersection of sublocales

When I wrote my latest blog post, there were many things I thought would be useful to know about sublocales.  Those eventually turned out to be useless in that context.  However, I think they should be known, in a more … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Isbell’s density theorem and intersection of sublocales

## The O functor does not preserve binary products

In Exercise 8.4.23 of the book, I said: “Exercise 8.4.21 may give you the false impression that the O functor preserves binary products. This is wrong, although an explicit counterexample seems too complicated to study here: see Johnstone (1982, 2.14).” … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on The O functor does not preserve binary products

## Locales, sublocales III: the frame of nuclei

My goal today is to describe two elegant proofs of the fact that nuclei form a frame. There are many proofs of that. The main difficulty is that, while meets (infima) of nuclei are taken pointwise, joins (suprema) are much … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Locales, sublocales III: the frame of nuclei

## Locales, sublocales II: sieves

Last time, I promised you we would explore another way of defining sublocales.  We shall again use the naive approach that consists in imagining how we would encode subspaces of a T0 topological space X by looking at open subsets … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Locales, sublocales II: sieves

## Locales, sublocales I

Stone duality leads naturally to the idea of locale theory.  Quickly said, the idea is that, instead of reasoning with topological spaces, we reason with frames.  The two concepts are not completely interchangeable, but the O ⊣ pt adjunction shows … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Locales, sublocales I