Topology and its Applications ( IF 0.6 ) Pub Date : 2021-01-29 , DOI: 10.1016/j.topol.2021.107614 Igor Arrieta , Anna Laura Suarez
The notion of D-sublocale is explored. This is the notion analogue to that of sublocale in the duality of -spaces. A sublocale S of a frame L is a D-sublocale if and only if the corresponding localic map preserves the property of being a covered prime. It is shown that for a frame L the system of those sublocales which are also D-sublocales form a dense sublocale of the coframe of all its sublocales. It is also shown that the spatialization of consists precisely of those D-sublocales of L which are -spatial. Additionally, frames such that we have — that is, those such that D-sublocales perfectly represent subspaces — are characterized as those -spatial frames such that is the Booleanization of .
中文翻译:
语言环境的D-子语言环境和T D-对偶性的协框架
探索了D-sublocale的概念。这与子语言环境的二元性的概念类似-空间。甲sublocale小号的帧的大号是d -sublocale当且仅当相应的localic地图保留的是一个盖的灌注属性。结果表明,对于帧L,那些也是D-子区域的子区域的系统形成一个密集的子区域 共框架的 其所有子区域。还表明,空间化 的 由精确的那些d的-sublocales大号其是-空间。此外,这样的框架—即那些使D -sublocales完美表示子空间的特征—-空间框架 是的布尔化 。