偏序集上的way-up关系

摘要

首先,借助于way-up关系的概念,讨论了way-up关系在偏序集、并连续半格及余dcpo不同背景下的性质;然后,给出了逼近辅关系的定义及其相关性质;最后,从局部化的思路出发,给出了局部余定向完备范畴的概念及在此结构下的way-up关系,并讨论了way-up关系的相关性质。