仿紧正则locale的紧正则反射

Compact regular reflection of paracompact regular locale

在locale范畴中讨论仿紧locale的性质,证明仿紧正则locale是正规的.通过正规locale的插入性,给出正则理想格CR(L)是仿紧正则locale的紧正则反射的构造性描述.

The properties of paracompact locale are discussed in the locale category.It is proved that paracompact regular locale is normal.By the insertion of normal locale,the constructive description of compact regular reflection of paracompact regular locale is given,which is the regular ideal lattices C R(L).