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

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

余Frame范畴中的等化子和余等化子结构

本文对余Frame范畴(以余Frame为对象,以余Frame同态为态射)中的等化子和余等化子的结构进行了研究。首先,利用子余Frame和嵌入映射构造了两个态射(具有相同论域和相同余论域)的等化子;其次,利用商余Frame和典型映射构造了两个态射(具有相同论域和相同余论域)的余等化子。本文的结果是对余Frame研究工作的补充和完善。