代数L-domain表示定理及其相关范畴等价性.pdfVIP

扬州大学硕士学位论文 2 中文摘要 Domajn理论为计算机程序设计语言的指称语义学奠定了数学基础，处于拓扑 学，格论，范畴论及理论计算机等多学科的交汇处，有着重要的研究价值．本文首 先引入局部条件并半格(简记为L-cusD及其理想完备化等概念．证明了：任一代 L-cllSl与单调映射作成的范畴的反射子范畴．在徐罗山教授所建立的相容L-do耻血 及其定向完备化理论的基础上证明了相容代数L．dom血的紧元集是L．c戚。得到了 相容代数L．domaill的紧元集的理想完备化与其定向完备化同构这一重要结果，从 而刻化了相容代数L．domaill的定向完备化．最后，本文引入了子L—cIlsl，子代数 毛徐新：代数L—domain的表示定理及其相关范畴的等价性 3 —————————————————————————————————————————————————————————————————-————————————————————一一 英文摘要 Doma．m a胁damen伽rolcin denotatioIlal meory semandcsof plays pr0挚姐皿Iing be the fhct 1anguages．Itshnportancemayjudged妇nmat“hashad many applicatio璐 innelds船diVerseas and general the删cal topology，1amcetheory’categorythcofy science嬲wellasiIl o也erareasof computer many m砒1ema廿cs．Firstlytllis paper in们ducesmenew conm虹onal conc印tsoflocally upper itsideal reSujts set conccp临，t11e arcobtaille of completion．W曲thesefollowiIlg d．(1)the aIl elements-m L-domaillisan L也nlaills compact algebmic L·cllsl；(2)algebraic m nleS0b甜ficationmeir eq山ppedScott泖olo影are of se协of eleme心 compact idBal an equipped、vi也pSeudoScon