We categorify the adjunction between locales and topological spaces, this amounts to an (generalized) bounded ionads topoi. show that is idempotent. relate Scott adjunction, which was discussed from a more categorical point of view in [Liba]. hint $0$-dimensional inhabits categorified one.