基于柯西理想意义下的连续$Omega$-domains.docVIP

基于柯西理想意义下的连续 ?-domains 赖洪亮 四川大学数学学院，成都 610064 摘要：?-范畴为研究量化 domain 理论提供了一个很好的基本框架. 本文在假设完备剩余格 (?, ) 的承载格 ? 本身还是一个连续格的条件下, 选取柯西理想描述定向完备性, 引入了 liminf 完备的 ?-范畴的连续性理论. 在此基础之上, 进一步描述了 way below 关系, 代数对象以及收 缩等基本概念以及它们与连续性的关系. 这些结果说明, 这种连续的 ?-范畴确实可以看做量化 的连续 domain. 关键词：范畴论, liminf 完备的 ?-范畴, 连续性, 柯西网, 柯西理想, 伴随, way below 关系 中图分类号： O189.13 Continuous ?-domains based on Cauchy ideals LAI Hong-Liang Department of Mathematics, Sichuan University, Chengdu 610064 Abstract: Categories enriched on a commutative, unital quantale (?, ?) make a good framework of quantitative domain theory. In this paper, for a complete residuated lattice (?, ?) with ? being a continuous lattice, a notion of continuity in liminf complete ?-categories is introduced based on the directness being described by Cauchy ideals. Moreover, the way below relations, algebraic objects and retractions are characterized and the relationships with continuity is studied. It is shown that continuous liminf complete ?-categories can be viewed as continuous ?-domains. Key words: Category theory, liminf complete ?-category, continuity, Cauchy net, Cauchy ideal, adjunction, way below relation. 0 Introduction A complete residuated lattice is a pair (?, ?) (also denoted ? for short), where ? is a complete lattice; ? : ?×? ?→ ?, called a tensor, is a commutative, associative binary operation on ? such that (1) ? is monotone on each variable, (2) For each p ∈ ?, the monotone function p ? (?) : ? ?→ ? has a right adjoint p → (?) : ? ?→ ? and (3) the top element 1 in ? is a unit element for ?, i.e. p ? 1 = p for every p ∈ ?. The binary operation →: ? × ? ?→ ? given by → (p, q) = p → q, is called the cotensor (corresponding to ?). 基金项目： Natural Science Foundation of China , Fundamental Research Foundation of Sichuan University (2010SCU21009) and Doctoral Fund of Ministry of Education of China(20100181120046) 作者简介： Correspondence author：Lai Hongliang（1978-），male，associate professor，major research direction：fuzzy topology