论文部分内容阅读
一个连续格就是一个完备的连续偏序集，一个有界完备domain则是一个有定向并与非空交的连续偏序集．1975年，Day证明了连续格范畴是集合范畴和瓦拓扑空间范畴上的monadic范畴．本文作者把这一结论推广到了有界完备domain范畴：对任意无限基数κ，作者引入了有界完备的κ—domain以及相应的Scott κ拓扑的概念，并证明了有界完备的κ—domain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴．