10.3969/j.issn.1001-4616.2005.04.003
关于两个Cartesian闭范畴交的一点注记
讨论了关于双Scott拓扑的一些性质.证明了范畴BICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴BICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和BICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴.
双Scott拓扑、双连续格、双Scott连续映射、对偶Scott连续映射、Cartesian闭范畴
28
O153.1;O154(代数、数论、组合理论)
中国科学院资助项目10331010
2006-01-12(万方平台首次上网日期,不代表论文的发表时间)
共5页
13-17