论文部分内容阅读
讨论了关于双Scott拓扑的一些性质.证明了范畴BICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴BICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和BICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴.