文件名称:关于两个Cartesian闭范畴交的一点注记 (2005年)
文件大小:245KB
文件格式:PDF
更新时间:2024-05-28 12:45:35
自然科学 论文
讨论了关于双Scott拓扑的一些性质。证明了范畴BICONT即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴BICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和BICONTsoP即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴。