| 关于topos中的内蕴Heyting代数对象(英文) |
| |
| 引用本文： | 王习娟,贺伟. 关于topos中的内蕴Heyting代数对象(英文)[J]. 数学杂志, 2011, 31(6): 979-998 |
| |
| 作者姓名： | 王习娟 贺伟 |
| |
| 作者单位： | 1. 连云港师范高等专科学校数学系,江苏连云港222006;南京大学数学系,江苏南京210093
2. 南京师范大学数学系,江苏南京,210097 |
| |
| 基金项目： | Supported by National Natural Science Foundation of China(10731050); Sup- ported by Jiangsu Postdoctoral Science Foundation(1001029C) |
| |
| 摘 要： | 本文研究了在一般topos中内蕴Heyting代数对象的性质.利用范畴的态射及伴随的方法,获得了内蕴Heyting代数对象为内蕴分配格结果,推广了集合范畴中的对应结果.
|
| 关 键 词： | 内蕴Heyting代数 内蕴分配格 topos |
ON THE HEYTING ALGEBRA OBJECTS IN TOPOS |
| |
| WANG Xi-juan,HE Wei. ON THE HEYTING ALGEBRA OBJECTS IN TOPOS[J]. Journal of Mathematics, 2011, 31(6): 979-998 |
| |
| Authors: | WANG Xi-juan HE Wei |
| |
| Affiliation: | WANG Xi-juan~(1,2),HE Wei~3 (1.Department of Mathematics,Lianyungang Teacher's College,Lianyungang 222006,China) (2.Department of Mathematics,Nanjing University,Nanjing 210093,China) (3.Department of Mathematics,Nanjing Normal University,Nanjing 210097,China) |
| |
| Abstract: | In this article,we investigate some properties of internal Heyting algebra objects in a topos.By the method of adjoint in category,we prove that an internal Heyting algebra object is an internal distributive lattice. |
| |
| Keywords: | internal Heyting algebra object internal distributive lattice topos |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
