摘要

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