位置:成果数据库 > 期刊 > 期刊详情页
Heyting系统及其H-Locale化形式
  • 期刊名称:数学学报(中文版)
  • 时间:2012
  • 页码:1119-1130
  • 分类:O642.1[理学—物理化学;理学—化学] O153.1[理学—数学;理学—基础数学]
  • 作者机构:[1]College of Mathematics and Information Science, Shaanxi Normal University, Shaanxi 710062, P. R. China
  • 相关基金:Supported by the National Natural Science Foundation of China (Grant Nos. 11171196; 10871121).
  • 相关项目:Domain与Quantale理论的模糊化研究
中文摘要:

In this paper, we introduce the fundamental notions of closure operator and closure system in the framework of quantaloid-enriched category. We mainly discuss the relationship between closure operators and adjunctions and establish the one-to-one correspondence between closure operators and closure systems on quantaloid-enriched categories.

英文摘要:

In this paper, we introduce the fundamental notions of closure operator and closure system in the framework of quantaloid-enriched category. We mainly discuss the relationship between closure operators and adjunctions and establish the one-to-one correspondence between closure operators and closure systems on quantaloid-enriched categories.

同期刊论文项目
期刊论文 87 会议论文 8
同项目期刊论文