Exponentiation of Scott Formal Topologies
Maria Emilia Maietti, Silvio Valentini · Electronic Notes in Theoretical Computer Science · 2004
We prove that Scott formal topologies are exponentiable in the category of inductively generated formal topologies. From an impredicative point of view, this means that Scott domains are exponentiable in the category of open locales.