位置:成果数据库 > 期刊 > 期刊详情页
概率逻辑学基本定理的推广
  • 期刊名称:电子学报,2007,35(7):801-812
  • 时间:0
  • 分类:O189.1[理学—数学;理学—基础数学] O153.1[理学—数学;理学—基础数学]
  • 作者机构:[1]南京师范大学数学与计算机科学学院,南京210097, [2]徐州师范大学数学科学学院,徐州221116
  • 相关基金:国家自然科学基金资助项目(10331010);徐州师范大学然科学基金(06X1801)
  • 相关项目:序、拓扑及形式语义学的数学基础
中文摘要:

本文将frame、frame同态、商frame与核的概念在范畴意义下作推广,并且证明Frame范畴是广义Frame范畴的反射子范畴.进而讨论了一个广义frame A的商与A上核函子之间的关系.特别地,我们证明了A上全部核函子所构成的范畴N(A)是一个广义frame.

英文摘要:

In this paper, we generalize the concepts of frames, frame homomorphisms, quotient frames and nuclei in the sense of category, and show that the category of frames is a reflective subcategory of the category of generalized frames. Moreover, we discuss the relation between the quotients of a generalized frame A and the nucleus functors on A. In particular, we prove that the category N(A) of all nucleus functors on A is a generalized frame.

同期刊论文项目
期刊论文 202 会议论文 2 著作 1
同项目期刊论文