The continuous complete semilattice category and the Scott domain category are proved constructively to be reflective and coreflective subcategories of the complete semilattice category.
构造性地证明了以有左（右）伴随的Ｓｃｏｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｄｏｍａｉｎ范畴，是完备半格范畴的余反射（反射）子范畴。
The continuous complete semilattice category and the Scott domain category are proved constructively to be reflective and coreflective subcategories of the complete semilattice category.
构造性地证明了以有左（右）伴随的Ｓｃｏｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｄｏｍａｉｎ范畴，是完备半格范畴的余反射（反射）子范畴。