期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

有界完备的domain范畴是monadic范畴

The category of bounded completeκ-domains is monadic
原文传递
导出
摘要 一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T_0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κ-domain以及相应的Scottκ拓扑的概念。并证明了有界完备的κ-domain范畴是集合范畴和T_0的κ拓扑空间范畴上的monadic范畴. A continuous lattice is a complete continuous partially ordered set （poset）, while a bounded complete domain is a continuous poser that has directed joins and nonempty meets. In 1975,Day proved that the category of continuous lattices is monadic over the category of sets and that of To spaces. In this paper this conclusion is extended to bounded complete e-domains for any infinite cardinal κ. First, the concepts of bounded complete κ-domain and Scott κ topology are introduced; Then, it is showed that the category of bounded complete κ-domains is monadic over the category of sets and that of To g-spaces.
作者 张巍
机构地区 四川大学数学学院
出处 《四川大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第6期1276-1280,共5页 Journal of Sichuan University(Natural Science Edition)
基金 国家自然科学基金(10771147)
关键词 monadic范畴 有界完备的κ—domain κ—dcpo κ-空间 monadic category, bounded complete κ-domain, κ-dcpo, κ-space
分类号 O153.1 [理学—基础数学]
  • 相关文献

参考文献9

  • 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.
  • 7闵超,梁基华.关于连续Ω-范畴的讨论(英文)[J].四川大学学报（自然科学版）,2009,46(6):1595-1599. 被引量：1
  • 8张晴,寇辉.有界完备dcpo上的线性逼近——强线性FS-domain[J].四川大学学报（自然科学版）,2009,46(3):525-528. 被引量：1
  • 9HuangFP LiangJH KouH.A note on distributivity of open filter domains.四川大学学报：自然科学版,2008,:236-236.

二级参考文献20

  • 1Kou H. The largest topologically Cartesian closed categories of domains as topological spaces[C] ff Keimel K. Domain and processes. New York: Kluwer Academic Publisher, 2001.
  • 2Kou H. RW-spaces and compactness of function spaces for L-domains[J]. Topology and its Applications, 2003, 129: 211.
  • 3Jung A. The classification of continuous domains[C] //Logic in Computer Science, 1990, LICS'90, Proceedings, Philadelplid, USA. IEEE Computer Society Press, 1990.
  • 4Jung A. Cartesian closed categories of domains[M]. Volume 66 of CWI Tracts. Amsterdam Centrum voor Wiskunde en Information,1989.
  • 5Lawson J D, Xu L S. Maximal classes of topological spaces and domains determined by function spaces [J]. Applied Categorical Structures, 2003, 11 :391.
  • 6Huth M, Jung A, Keimel K. Linear types and approximation[J]. Math Struct in Comp Science, 2000 (10) : 719.
  • 7Gierz G, Hoffmann K H, Keimel K, et al. Continuous lattices and domains[M]. Cambridge: Cambridge University Press, 2003.
  • 8Michael W. Mislove. Topology, domain theory and theoretical computer science [J ]. Topology and its Applications, 1998, 89:.
  • 9Huth M, Jung A, Keimel K. Linear types, approximation and topology[C] // Logic in Computer Science, 1994, LICS'94, Proceeding, Symposium on. IEEE Computer Society Press, 1994.
  • 10F. William Lawvere.Metric spaces, generalized logic, and closed categories[J].Rendiconti del Seminario Matematico e Fisico di Milano.1973(1)
四川大学学报（自然科学版）
2011年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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