1) Localic H-group
locale H群
2) Locale product
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
补充资料：陪群公登箕山赋得群字
【诗文】：
许由去已远，冥莫见幽坟。世薄人不贵，兹山唯白云。
宁知三千岁，复有尧为君。时佐激颓俗，登箕挹清芬。
高节虽旦暮，邈与洪崖群。
【注释】：
【出处】：
全唐诗：卷882-9
许由去已远，冥莫见幽坟。世薄人不贵，兹山唯白云。
宁知三千岁，复有尧为君。时佐激颓俗，登箕挹清芬。
高节虽旦暮，邈与洪崖群。
【注释】：
【出处】：
全唐诗：卷882-9
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条