Exact偏序集的乘积和映射性质

该文证明了有最小元的Exact偏序集(弱Domain)的乘积为Exact偏序集(弱Domain),Exact Domain在保定向并的投射算子、具有下伴随的投射算子或具有下伴随且保定向并的满映射下的像仍为Exact Do-main,文中还讨论了Exact偏序集的基.

W-代数偏序集及其性质

引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证明了弱Domain上的Scott连续映射保局部基当且仅当它保Weakly way below关系。