论文部分内容阅读
设(Ω,*,I)是一个交换的有单位元的quantale,它是一个monoidal闭范畴,其上的enriched范畴简称为Ω-范畴.Ω-范畴是量化domain理论中主要的研究对象,一方面,作为domain.理论的推广,量化domain理论同样关心信息的逼近和收敛,所以在讨论Ω-范畴的性质时,其完备性和定向完备性一直备受关注;另一方面,一个Ω-范畴可以看作是一个Ω-值的预序结构,同经典的序结构理论一样,多值情形下仍然有完全分配性和连续性的概念(上确界函子和理想上确界函子分别有左伴随).但是由于完备格Ω的结构比2复杂的多,所以这两个概念之间的蕴含关系并不像在经典的序结构理论中那么显而易见.
在文中我们引入了理想完备Ω-范畴上的way below关系与完备Ω-范畴上的well below。关系,证明了理想完备Ω-范畴上的连续性和完备Ω-范畴上的完全分配性可以分别用这两个关系来刻划.在此基础上证明了I为1时Ω-范畴的完全分配性蕴含连续性.