Topos中内蕴偏序对象与内蕴格对象之间关系的研究  

Study on the Relationship Between Internal Partially Ordered Objects and Internal Lattice Objects in Topos

作　　者：苏小霞[1] 汤建钢[1] 张凯强 张冬冬 周欢欢 SU Xiao-xia;TANG Jian-gang;ZHANG Kai-qiang;ZHANG Dong-dong;ZHOU Huan-huan(College of Mathematics and Statistics,Ili Normal University,Yining 835000,China)

机构地区：[1]伊犁师范学院数学与统计学院

出　　处：《数学的实践与认识》2018年第19期228-234,共7页Mathematics in Practice and Theory

基　　金：新疆维吾自治区“十三五”重点学科(数学)开放课题(XJZDXK-M2017006)

摘　　要：在Topos中给出了内蕴格对象相关性质的证明，并证得由一个内蕴格对象可以诱导一个内蕴偏序对象．In this paper, we provide some demonstrations of properties about internal partially ordered objects, and proved that internal partially ordered objects can be induced by internal lattice objects.

关 键 词：内蕴格对象 内蕴偏序对象 诱导 

分 类 号：O153.1[理学—数学]