1) Locale product
Locale积
2) locale products
locale乘积
3) sublocale
子locale
4) compact locale
紧locale
5) 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的乘积是弱空间式的。
6) Regular Locale
正则Locale
补充资料：积积
1.长久累积。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条