Z-子集体系的一些范畴性质.pdfVIP

Some of NatureOfZ-subset Categoricl Syst蚰 Abs打act：Inthis ZL’撕m paper,wethat，(1)the prove category as Z-continuouslattices andZ-continuousfunctionsas objects iscartesianclosedundersome morphisms conditions，(2)the of is tothefull category posers equivalent Z-algebraicdually the ofthe construetion subcategorypoint lattices．Finally，Wegive of ofthe ZP·withZ-continuousas productscategory posets andfunctions and belowas objects preservedZ．join Z-way morphisms． Z-continuouslattices Koywords：Z-subsetsystem function dual posers． Z-algebraic spaces equivalence H 厶一弓集茅统的一些范畴性质 摘 要：未文江明7(1)在一定条件下．以Z一连续格为objects和保Z一并的 偶等价于点格的一个满子范畴；最后，我们给d：了以Z一连续编序集 一个均造， 关键词：Z一子集糸统Z一连续格函敷空间 Z一『弋数偏序集 对偶等价乘积、 一、前言 D。。。。。理论的发展源于两个不同的动力，最为重要的是汁算机高级程序 c奠基性的工作导致了代数格及其推广～用以指派程序的 指际语义学。Scoc 连续倍的发现。自PIorkin指出，怍为数学模型，我们需要更加一般的研究对 象以来．D。main的结向理论已成为研究形式指称语义学中至关重要的一部 分。 L。son及其同『二所考虑的在每一点有子半恪邻域基的紧半恪正是我们的 sc0H窿续格。正是由于连续搭理沦具有理论算机科学和数学的双重背景，自 jiE的诞生以来，受到了人们的极大关注。’1980年，Gierz等人的专著标志着 这一早期理论的成熟。 。 近二十年来，连续洛的推广工怍受到了越来越多的关注，且方兴未艾。：悍 连续佟的定向系统抉成更加一般的Z一子集系统进行考虑，也是近期的一个 较热门的课题，见[1．2．3，4]。在本文中，我们讨论了Z一子集系统的一些范 畴性咂。我『门的主要结论是：(1)在一定条件下，以z一连续格为objects阳保