sigma complete lower semilattice

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.

构造性地证明了以有左（右）伴随的Ｓｃｏｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｄｏｍａｉｎ范畴，是完备半格范畴的余反射（反射）子范畴。