论文部分内容阅读
本文拓展了半连续格理论的框架,引入了拟半连续格和拟半代数格等概念,讨论了它们的一些基本性质;
给出了强代数格和强算术格的拓扑表示定理,即以强代数格为对象,广义序同态为态射的范畴与以有由超紧开集组成的基的Sober空间为对象,连续且逆保超紧开集的映射为态射的范畴的对偶等价性,以强算术格为对象,广义序同态为态射的范畴与以有由超紧开集组成的基且它关于有限交封闭的Sober空间为对象,连续且逆保超紧开集的映射为态射的范畴的对偶等价性;
最后证明了Z—代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.