Topos中的有限对象  

A New Approach to Finite Objects in a Topos

作　　者：卢涛[1] 王习娟[2] 

机构地区：[1]淮北师范大学数学科学学院 [2]南京大学数学系

出　　处：《模糊系统与数学》2016年第1期120-128,共9页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11571175);安徽省高校自然科学研究重点项目(KJ2015A064)

摘　　要：引入了topos中有限子集的概念,研究了K-(J-)有限子集和K-(J-)有限子对象之间的关系,证明了K-(J-)有限子集和K-(J-)有限对象的等价性,将一些格论中的经典结论推广到了topos中。In this paper,we introduce the concept of the finite subset in a topos.The relationship between K-（J-）finite subset and K-（J-）finite subobject is investigated.And then some well-known lattice conclusion is lifted into an elementary topos.

关 键 词：偏序对象 有限对象 有限子集 TOPOS 

分 类 号：O178[理学—数学]