完备半格相关论文
构造性地证明了以有左(右)伴随的Scott连续函数为态射的连续完备半格范畴和Scottdomain范围,是完备半格范畴的余反射(反射)子范畴。......
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Car......