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.

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