Interor and h operators on the category of locales

Abstract

We present the concept of interior operator I on the category Loc of locales and then we construct a topological category I-Loc, U , where U : I-Loc → Loc is a forgetful functor; and we also introduce the notion of h operator on the category Loc and discuss some of their properties for constructing the topological category h-Loc, U associated to the forgetful functor U : h-Loc → Loc.