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 1979. Read the full post.