期刊文献+

完备半格范畴的反射与余反射子范畴 被引量:5

THE REFLECTIVE AND COREFLECTIVE SUBCATEGORIESOF THE COMPLETE SEMILATTICE CATEGORY
下载PDF
导出
摘要 构造性地证明了以有左(右)伴随的Scot连续函数为态射的连续完备半格范畴和Scotdomain范畴,是完备半格范畴的余反射(反射)子范畴. The continuous complete semilattice category and the Scott domain category are proved constructively to be reflective and coreflective subcategories of the complete semilattice category.
作者 寇辉
出处 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 1998年第4期495-499,共5页 Journal of Sichuan University(Natural Science Edition)
关键词 完备半格 连续完备半格 范畴 反射 余反射 complete semilattice,continuous complete semilattice,Scott domain.
  • 相关文献

同被引文献39

  • 1索剑峰,梁基华.函数空间连续性的一个注记[J].四川大学学报(自然科学版),2004,41(4):724-727. 被引量:2
  • 2LIANG JIHUA ,LIU YINGMING(Institute of Mathematics, Sichuan University, Chengdu 610064, China.)(Project supported by the National Natural Science Foundation of China.).CONTINUOUS L-DOMAINS[J].Chinese Annals of Mathematics,Series B,1996,17(3):263-270. 被引量:8
  • 3刘妮.拟阵之间的强映射与秩强映射[J].陕西师范大学学报(自然科学版),2006,34(2):26-29. 被引量:4
  • 4Mislove M. Topology, domain theory and theoretical computer science[J]. Topology andlts Applications, 1998, 89: 3. 被引量:1
  • 5Abramsky S, Jung A. Domain theory [C]//Abram- sky S, Gabbay M, Maibaum E. Handbook of Logi- cln Computer Science. Oxford: Clarendon Press, 1994. 被引量:1
  • 6Sierz GHKLM, Hofmann K H, Keimel K, et al. Continuous lattices and domains [M]. Cambridge: Cambridge University Press, 2003. 被引量:1
  • 7Jung A. Cartesian closed categories of domains [M]. Amsterdam, CWI Tracts, 1989. 被引量:1
  • 8Lane S M. Categories for the working mathematician [M]. New York/Berlin: Springer-Verlag, 1971. 被引量:1
  • 9Scott D, Outline of a mathematical theory of computation[J]. 4th Annual Princeton Conference on Information Sciences and Systems, 1970: 169. 被引量:1
  • 10Scott D. Data types as lattices[J]. SIAM J Computing, 1976, 5: 522. 被引量:1

引证文献5

二级引证文献12

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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