1)  Locale
Locale
1.
Hausdorffness on Locale;
关于Locale的T_2特征
2.
The Filtered Description of T_2 Locale;
Locale的Hausdorff分离公理的滤子式刻划
3.
The Isbell function space, the compact-open function space and the pointwise function space between two Locales are constructively defined in this paper.
构造性地定义了Locale间的Isbell,紧开及点态函数空间,研究了其良好的范畴性质(Proper和Admissible性质)及分离性质。
2)  Locale product
Locale积
3)  sublocale
子locale
4)  compact locale
紧locale
5)  T2 Locale
T2 Locale
6)  Spatial Locale
空间式Locale
1.
The category SLoc of spatial locales is a coreflective subcategory of the category Loc of locales,but the product of spatial locales is not closed under localic product.
空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭。
2.
The concept of weakly spatial locale is presented.
引入弱空间式locale的定义，证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴，弱空间式locale的乘积是弱空间式的。
参考词条
补充资料：积积
1.长久累积。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。