期刊文献+

关于连续Ω-范畴的讨论(英文) 被引量:1

A note on continuity of Ω-categories
原文传递
导出
摘要 作者引入了理想完备Ω-范畴上的way below关系与完备Ω-范畴上的well below关系,证明了理想完备Ω-范畴上的连续性和完备Ω-范畴上的完全分配性可以分别用这两个关系来刻划,得出了完全分配Ω-范畴连续的推论. In this paper,the notion of way below relation in an ideal complete Ω-category and the notion of well below relation in a complete Ω-category are introduced and it is shown that continuity of ideal complete Ω-categories and completely distributivity of complete Ω-categories can be characterized by the way below relation and well below relation respectively.Then,as a corollary,it is showed that every completely distributive Ω-category is continuous.
作者 闵超 梁基华
出处 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第6期1595-1599,共5页 Journal of Sichuan University(Natural Science Edition)
基金 国家自然科学基金重点项目(0020105401084)
关键词 于连 范畴 完全分配 关系 IDEAL 理想 连续性 分配性 PAPER 证明 推论 刻划 Ω-category completely distributive Ω-category adjunction continuous Ω-category
  • 相关文献

参考文献11

  • 1F. William Lawvere.Metric spaces, generalized logic, and closed categories[J].Rendiconti del Seminario Matematico e Fisico di Milano.1973(1)
  • 2M.M.Bonsangue,F.van Breugel,J.J.M.M.Rutten.Generalized Ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding[].Theoretical Computer Science.1998
  • 3H. Lai,,D. Zhang.Complete and directed complete Ω -categories[].Theoretical Computer Science.2007
  • 4H. Lai,,D. Zhang.Many-valued complete distributivity[]..2006
  • 5Smyth,M. B.Completeness of quasi-uniform and syntopological spaces[].Journal of the London Mathematical Society.1994
  • 6Wagner K R.Solving recursive domain equations with enriched categories[]..1994
  • 7K.R. Wagner.Liminf convergence in Ω-categories[].Theoretical Computer Science.1997
  • 8Qi-Ye Zhang.Continuity in quantitative domains[].Fuzzy Sets and Systems.2005
  • 9D. Zhang.An enriched category approach to many valued topology[].Fuzzy Sets and Systems.2007
  • 10I. Stubbe.Towards "dynamic domains": totally continuous cocomplete Q-categories[]..2005

同被引文献8

  • 1Day A. Filter monads, continuous lattices and cloure systerms[J]. Can j Math, 1975, 27.. 50.
  • 2Gierz G, Hofmann K H, Keimel K, et al. Continuous lattices and domains[M]. Cambridge: Cambridge University Press, 2003.
  • 3He W. Category theory[M]. Beijing: Science Press, 2006.
  • 4Seung-On Lee. On countably approximating lattices [J]. J Korean MathSoc, 1988, 25: 11.
  • 5Maclane S. Categories for the working mathematician, 2nd ed[M]. Berlin.. Springer, 1998.
  • 6Erne M, £-Continuous posers and their topological manifestation [J]. Applied Categorical Structures, 1999, 7: 31.
  • 7HuangFP LiangJH KouH.A note on distributivity of open filter domains.四川大学学报:自然科学版,2008,:236-236.
  • 8张晴,寇辉.有界完备dcpo上的线性逼近——强线性FS-domain[J].四川大学学报(自然科学版),2009,46(3):525-528. 被引量:1

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部