论文标题
Interor和H运算符在类别的类别上
Interor and h operators on the category of locales
论文作者
论文摘要
我们在类别上介绍了内部运算符$ i $的概念$ \ Mathbf {loc} $ a conteres of Locales，然后我们构造一个拓扑类别\ linebreak $ \ big（\ Mathbf {i \ text { - } loc} loc}，\ u \ big）一个健忘的函子；我们还将$ \ Mathfrak H $运算符的概念介绍在$ \ Mathbf {loc} $的类别上，并讨论了它们的一些属性，以构建拓扑类别$ \ big（\ Mathbf {\ Mathfrak H \ text { - } loc { - } loc} loc} loc}，\ big \ big）$ h \ text { - } loc} \ rightarrow \ mathbf {loc} $。
We present the concept of interior operator $I$ on the category $\mathbf{Loc}$ of locales and then we construct a topological category \linebreak $\big(\mathbf{I\text{-}Loc},\ U\big)$, where $U:\mathbf{I\text{-}Loc}\rightarrow \mathbf{Loc}$ is a forgetful functor; and we also introduce the notion of $\mathfrak h$ operator on the category $\mathbf{Loc}$ and discuss some of their properties for constructing the topological category $\big(\mathbf{\mathfrak h\text{-}Loc},\ U\big)$ associated to the forgetful functor $U:\mathbf{\mathfrak h\text{-}Loc}\rightarrow \mathbf{Loc}$.
