JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE) ›› 2016, Vol. 51 ›› Issue (2): 64-71.doi: 10.6040/j.issn.1671-9352.0.2015.481

Previous Articles     Next Articles

The operator theory on complete partially ordered objects in a topos

LU Tao1, WANG Xi-juan2*, HE Wei3   

  1. 1. School of Mathematical Sciences, Huaibei Normal University, Huaibei 235000, Anhui, China;
    2. Department of mathematics, Nanjing University, Nanjing 210097, Jiangsu;
    China;
    3. School of Mathematical Science, Nanjing Normal University, Nanjing 210097, Jiangsu, China
  • Received:2015-10-15 Online:2016-02-16 Published:2016-03-11

PDF (PC)

865

Abstract: The concept of the projective operators between complete partially ordered objects in a topos is investigated. The characterizations of the closure operator and the kernel operator in a topos are given, which are common generalizations of the classical lattice theory.

Key words: partially ordered object, projective operator, complete partially ordered object, closure operator, kernel operator

CLC Number: 

  • O189.11
[1] JOHNSTONE P T. Sketches of an Elephant: a topos theory compendium[M]. Oxford: Oxford University Press, 2002.
[2] MAC LANE S, MOERDIJK L. Sheaves in geometry and logic: a first introduction to topos[M]. New York: Springer-Verlag, 1992.
[3] MAC LANE S. Categories for working mathematician[M]. New York: Springer-Verlag, 1972.
[4] 贺伟. 范畴论[M]. 北京: 科学出版社, 2006. HE Wei, Category theory[M]. Beijing: Science Press, 2006.
[5] JOHNSTONE P T, JOYAL A. Continuous categories and exponentiable toposes[J]. Journal of Pure and Applied Algebra, 1982, 25:255-296.
[6] KOCK A, LECOUTURIER P, MIKKELSEN C J. Some topos theoretic concepts of finiteness[M] // Lecture Notes in Math. Berlin: Springer-Verlag, 1975, 445:209-283.
[7] 孟晓青. Topos理论简介[J]. 数学进展, 1992, 21(1):1-24. MENG Xiaoqing. An introduction to topos theory[J]. Advances in Mathematics, 1992, 21(1):1-24.
[8] LUO Maokang, HE Wei. A new logic for uncertainty[J]. 2015, http://arxiv.org/abs/1506.03123.
[9] HE Wei, LUO Maokang. Quantum spaces[J]. Acta Mathematica Sinica, English Series, 2010, 26(7):1323-1330.
[10] 卢涛, 贺伟, 王习娟. Galois connections in a topos[J]. 数学研究与评论, 2010, 30(3):381-389. LU Tao, HE Wei, WANG Xijuan. Galois connections in a topos[J]. Journal of Mathematical Research and Exposition, 2010, 30(3):381-389.
[11] 卢涛, 王习娟, 贺伟. Topos中选择公理的一个等价刻画[J]. 山东大学学报(理学版), 2015, 50(12):1-5. LU Tao, WANG Xijuan, HE Wei. An equivalent characterization of the choice axiom in a Topos[J]. Journal of Shandong University(Natural Science), 2015, 50(12):1-5.
[1] LU Tao, WANG Xi-juan, HE Wei. The supremum and infimum of partially ordered objects in a topos [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2016, 51(4): 112-117.
[2] LU Tao, WANG Xi-juan, HE Wei. An equivalent characterization of the choice axiom in a Topos [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2015, 50(12): 54-57.
[3] ZHANG Yan-xia, LI Sheng-gang*, XIAN Lu. Products, sums, and quotients of M-closure spaces [J]. J4, 2010, 45(4): 74-76.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright 2018 © Editorial office of JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE)
Supported by Beijing Magtech Co.Ltd