期刊文献+

半格与Domain的表示 被引量:7

Semilattice and Representation of Domain
原文传递
导出
摘要 引入一种半格———D半格,建立了D-半格的表示理论,利用它得到了Ldomain(即局部代数格)的表示理论;证明了Ldomain与稳定映射范畴对偶等价于稳定D半格与D-半格同态范畴. The author introduces a kind of semilattice calledD-semilattice, and establishes its representation theory. By using this theory, the author gives the representation theory of L-domain (i.e. locally algebraic lattice). In the end, the author obtains a dual equivalence between the category of L-domain and stable function and that of stable D-semilattice and homomorphism of D-semilattice.
作者 陈仪香
出处 《数学学报(中文版)》 SCIE CSCD 北大核心 1998年第4期737-742,共6页 Acta Mathematica Sinica:Chinese Series
基金 国家自然科学基金
关键词 半格 DOMAIN 稳定映射 表示定量 局部代数格 Semilattices, Domain, Scott open sets,Stable functions, Representations, Categorical equivalence
  • 相关文献

参考文献3

二级参考文献3

共引文献9

同被引文献92

  • 1张德学,刘应明.L—fuzzyLocale理论与分配格的L—fuzzy拓扑表示[J].Journal of Mathematical Research and Exposition,1994,14(2):239-244. 被引量:2
  • 2张德学,刘应明.分配格的L-fuzzy拓扑表示与L-fuzzy理想[J].数学年刊(A辑),1994,1(1):59-68. 被引量:7
  • 3樊磊 张奇业 等.量化Domain理论的L-fuzzy式处理(I)-Frame值广义序集及伴随理论[J].模糊系统与数学,2000,14:6-7.
  • 4Flagg B,Sundrehauf P,Wagner K. A logical approach to quantitative domain theory[J]. Preprint Submitted to Elsevier, 1996.
  • 5Wagner K R. Solving recursive domain equations with enriched categories[D]. Pittsburgh:School of Computer Science Carnegie Mellon University, 1994.
  • 6Abramsky S, Jung A. Domain theory [A]. Gabbay D M, Maibaum T S E. Handbook of logic in computer science(volume 3)[C]. Oxford University Press, 1995:1~168.
  • 7Flagg B.,P.Sundrehauf and K.Wagner.A Logical Approach to Quantitative Domain Theory[J].Preprint Submitted to Elsevier,1996.
  • 8樊磊 张奇业 向文艺 郑崇友.量化Domain理论的L—fuzzy式处理(I)—Frame值广义序集及伴随理论[J].模糊系统与数学,:6-7.
  • 9Abramsky S.and Jung A.Domain Theory[A].D.M.Gabbay,and T.S.E.Maibaum Handbook of Logic in Computer Science[C].Oxford University Press,1995,3:1-168.
  • 10Wagner K.R.Solving Recursive Domain Equations with Enriched Categories[D].Ph.D.Thesis for School of Computer Science Carnegie Mellon University,Pittsburgh,1994.

引证文献7

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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