讨论了关于双Scott拓扑的一些性质。证明了范畴BICONT即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴BICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和BICONTsoP即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~