Scott locales

Pedro Resende, João Paulo Santos

We prove some facts about locales $L$ equipped with the Scott topology $\hat{I}\text{c◯}(L)$, in particular studying a canonical frame homomorphism $\ddot{I}•:\hat{I}\text{c◯}(L)\to L$ which is motivated by an appli…