期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Topos中的有限对象

A New Approach to Finite Objects in a Topos
原文传递
导出
摘要 引入了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.
作者 卢涛 王习娟
机构地区 淮北师范大学数学科学学院 南京大学数学系
出处 《模糊系统与数学》 CSCD 北大核心 2016年第1期120-128,共9页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(11571175) 安徽省高校自然科学研究重点项目(KJ2015A064)
关键词 偏序对象 有限对象 有限子集 TOPOS Partially Ordered Object Finite Object Finite Subset topos
分类号 O178 [理学—基础数学]
  • 相关文献

参考文献11

  • 1JOHNSTONE P T. Sketches of an elephant: A topos theory compendium[M]. Oxford:Oxford University Press, 2002.
  • 2MAC LANE S, MOERDIJK L. Sheaves in Geometry and Logic: A first introduction to topos[M]. New York Springer-Verlag, 1992.
  • 3MAC LANE S. Categories for working mathematician[M]. New York:Springer-Verlag,1972.
  • 4JOHNSTONE P T, JOYAL A. Continuous categories and exponentiable toposes[J]. Journal of Pure and Applied Algebra, 1982,25 : 255 - 296.
  • 5KOCK A, LECOUTURIER P, MIKKELSEN C J. Some topos theoretic concepts of finiteness[J]. Lecture Notes in Math. Berlin : Springer-Verlag, 1975,445 : 209 - 283.
  • 6孟晓青.Topos理论简介[J].数学进展,1992,21(1):1-24. 被引量：10
  • 7LUO M K, HE W. A new logic for uncertainty[J]. 2015,http://arxiv. org/abs/1506. 03123.
  • 8HE W, LUO M K. Quantum spaees[J]. Acta Mathematica Siniea ,English Series, 2010,26 (7) - 1323-- 1330.
  • 9Tao LU,Wei HE,Xi Juan WANG.Galois Connections in A Topos[J].Journal of Mathematical Research and Exposition,2010,30(3):381-389. 被引量：6
  • 10卢涛,王习娟,贺伟.Topos中选择公理的一个等价刻画[J].山东大学学报（理学版）,2015,50(12):54-57. 被引量：3

二级参考文献13

  • 1JOHNSTONE P T. Sketches of an Elephant: A Topos Theory Compendium [M]. The Clarendon Press, Oxford University Press, Oxford, 2002.
  • 2MAC L S, MOERDIJK I. Sheaves in Geometry and Logic [M]. Springer-Verlag, New York, 1994.
  • 3JOYAL A, TIERNEY M. An extension of the Galois theory Of Grothendieck [J]. Mem. Amer. Math. Soc., 1984, 51(309): 71.
  • 4JOHNSTONE P, JOYAL A. Continuous categories and exponentiable toposes [J]. J. Pure Appl. Algebra, 1982, 25(3): 255-296.
  • 5HE Wei. Category Theory [M]. Beijing: Science Press, 2006. (in Chinese).
  • 6MAC L S. Categories for the Working Mathematician [M]. Springer-Verlag, New York-Berlin, 1971.
  • 7WOOD R J. Ordered Sets Via Adjunctions [M]. Cambridge Univ. Press, Cambridge, 2004.
  • 8ISBELL J R. Atomless parts of spaces [J]. Math. Scand., 1972, 31: 5-32.
  • 9ISBELL J R. First steps in descriptive theory oflocaJes [J]. Trans. Amer. Math. Soc., 1991, 327(1): 353-371.
  • 10HE Wei, LIU Yingming. Steenrod's theorem for locales [J]. Math. Proc. Cambridge Philos. Soc., 1998, 124(2): 305-307.

共引文献10

模糊系统与数学
2016年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部