当前位置: X-MOL 学术Topol. Appl. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The coframe of D-sublocales of a locale and the TD-duality
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 TD-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 SD(L) of the coframe S(L) of all its sublocales. It is also shown that the spatialization spD[SD(L)] of SD(L) consists precisely of those D-sublocales of L which are TD-spatial. Additionally, frames such that we have SD(L)P(ptD(L)) — that is, those such that D-sublocales perfectly represent subspaces — are characterized as those TD-spatial frames such that SD(L) is the Booleanization of S(L).



中文翻译:

语言环境的D-子语言环境和T D-对偶性的协框架

探索了D-sublocale的概念。这与子语言环境的二元性的概念类似Ťd-空间。甲sublocale小号的帧的大号d -sublocale当且仅当相应的localic地图保留的是一个盖的灌注属性。结果表明,对于帧L,那些也是D-子区域的子区域的系统形成一个密集的子区域小号d大号 共框架的 小号大号其所有子区域。还表明,空间化SPd[小号d大号]小号d大号由精确的那些d的-sublocales大号其是Ťd-空间。此外,这样的框架小号d大号Pptd大号—即那些使D -sublocales完美表示子空间的特征—Ťd-空间框架 小号d大号 是的布尔化 小号大号

更新日期:2021-02-02
down
wechat
bug