Ω-范畴序结构性质地研究.pdfVIP

摘 要 Q一范畴序结构性质的研究 基础数学专业 研究生赖洪亮 指导教师张德学教授 Q一范畴为计算机程序语言的语义提供了量化的模型，从而成为量化domain 理论中主要的研究对象，由于domain理论关心的是信息的逼近和收敛，所以在 这个领域中，Q-一范畴的定向完备性～直备受关注．但是因为完备格n的结构远较 仅有两个元的布尔代数2复杂，导致文献中出现了用不同方式描述的互不等价的 定向完备性概念．本文的一个任务是用enriched范畴的圣一余完备性理论，对定向 完备性给出了形式上统一的描述． 可以看成一个Q一值的序结构．很自然地，我们希望像经典的序结构理论那样．讨 论多值完备性，连续性和完全分配性，这就是本文的又一个任务，因为多值序结 构也是～种特殊的enriched范畴，我{}’]可以使用范踌论方法对多值的序结构进行 系统地研究．我们的主要目的是以伴随为工具，统一描述完备性，定向完备性， 连续性，以及完全分配性等基本序结构概念． 需要特别指出的是，多值逻辑意义下的序结构理论并非只是经典的序结构 理论的平行推广．事实上，由于完备格Q的结构