Z-Quantale的表示定理

考虑Z-Quantale的表示问题.首先,证明任意单位Z-Quantale都同构于由其强Z-自连续映射所构成的Z-Quantale;其次,证明对于任意单位Z-Quantale都存在其上的一个关系Z-Quantale与其同构;最后,讨论单位Z-Quantale范畴与关系Z-Quantale范畴之间的关系,证明单位Z-Quantale范畴与关系Z-Quantale范畴等价.

模糊Z-Quantale范畴的反射子范畴

利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quantale的具体结构,并讨论由反射子构造的模糊Galois伴随.

子Z-Quantale及其性质

首先引入子Z-Quantale的概念,研究子Z-Quantale的一些性质。特别地,构造单位Z-Quantale的所有含有单位元的子Z-Quantale集上的二元运算⊙,使得其成为Quantale。其次,定义并子Z-Quantale,证明有最大(小)元的Z-Quantale的并子Z-Quantale一定有最大(小)元。最后,引入Z-Quantale上余核映射的概念,证明Z-Quantale上的并子Z-Quantale与其上的余核映射是一一对应的。

Z-Quantale的进一步结果

引入交Z-quantale的概念,证明了交Z-quantale的所有Z-闭子集构成的集合在包含序下是Frame.讨论了交Z-quantale上的核映射、商、同余三者之间的关系,还证明了Quantale范畴是Z-quantale范畴的反射子范畴.