论文部分内容阅读
设L是闭集格(即,对每个x∈L,B,Copr(L),使得x=VBx),这也等价于L^op是空间式locale,闭集格以及闭集格间保任意并、保余素元的映射组成的范畴记作CL.引入了通过并半格构造闭集格的方法——并半格的闭集格化,并且利用这种方法给出了闭集格范畴CL中等化子、余等化子的具体构造.