范畴CL中的等化子和余等化子

摘要

设L是闭集格(即,对每个x∈L,(E)Bx(∈) Copr(L),使得x=∨ Bx),这也等价于Lop是空间式locale.闭集格以及闭集格间保任意并、保余素元的映射组成的范畴记作CL.引入了通过并半格构造闭集格的方法--并半格的闭集格化,并且利用这种方法给出了闭集格范畴CL中等化子、余等化子的具体构造.