偏序集范畴的Cartesian闭性.pdfVIP

2011年 7月 四川大学学报(自然科学版) July．2011 第 48卷 第 4期 JournalofSiehuanUniversity(NaturalScienceEdition) Vo1．48 No．4 doi：103969／j．issn．0490—6756．2011．04．001 偏序集范畴的Cartesian闭性 曾 钰，寇 辉 (四川大学数学学院／长江数学中心，成都 610064) 摘 要：作者讨论 了偏序集范畴的Cartesian闭性，给出了偏序集范畴的满子范畴具有Carte— sian闭性的充分必要条件．特别地 ，作者证明了交连续半格 (不要 求定向完备性)范畴是 Car— tesian闭范畴，L—CDCPO范畴是L—POSET范畴的极大Cartesian闭子范畴． 关键词 ：偏序集 ；范畴 ；Cartesian闭性 中图分类号：0153．1，O189．2 文献标识码 ：A 文章编号2011)04—0725—04 Cartesianclosednessofthecategoryofposets ZENG 。K0UH (CollegeofMathematics／YangtzeCenterofMathematics，SichuanUniversity，Chengdu610064，China) Abstract：In thispaper，theauthorsinvestigatetheCartesianclosednessofthecategoryofposets，and obtainthesufficientandnecessaryconditionsuchthatafullsubcategoryofPOSET isCartesianclosed． Particularly，theyshow thatthecategoryofmeet—continuoussemilatticesisCartesianclosedandL-CDC— PO isthelargestcartesianclosedfullsubcategoryofL-POSET． Keywords：poset，category，Cartesianclosedness (2000MSCO3B52) 备偏序集范畴(简记为DCPO)相 比较，以Scott连 1 引言与预备 续函数为态射的偏序集范畴(简记为 POSET)存在 Domain理论 自产生以来 ，已得到大量的研究 重大的缺陷，即范畴 DCPO是 Cartesian闭的，而 并形成了系统 的理论[1]．在 Domain理论 中，各 偏序集范畴不具有 Cartesian闭性．本文将进一步 种格序结构及相关范畴的性质 ，如 Cartesian闭性 研究偏序集范畴的Cartesian闭性． 等，是其研究的主要内容[3 ]．一般情况下，各 本文采用 的范畴和 Domain理论 的概念及记 种有重要意义的序结构要求关于定向上确界封闭， 号是标准的，参见文献 [2，5]． 即必须是定 向完备偏序集 (简称为 dcpo)，如连续 定义 1．1 设 L是一个偏序集． domain，代数 domain，L-domain等 ，并且 由它们 (1)若 L中任意有上界的定向集存在上确界， 所形成的范畴通常以Scott连续函数(即保定向上 则称 L为相容定向完备偏序集 (记为cdcpo)； 确界 的映射)为态射．对于普通的偏序集来说 ，尽 (2)若对任意 ∈L， z一{Y∈L： )在 管其定向集的上确界可能不存在 ，但仍然可以讨