Exponentiable locales, revisited

Xu Huang

We give a moderately motivated exposition of exponentiable locales and the construction of exponentials in $\text{Loc}$, without assuming prior knowledge of exponential topologic…