您的位置：山东大学 -> 科技期刊社 -> 《山东大学学报（理学版）》

山东大学学报（理学版） ›› 2015, Vol. 50 ›› Issue (12): 47-53.doi: 10.6040/j.issn.1671-9352.0.2014.559

• 论文 • 上一篇    下一篇

E-quantale范畴

梁少辉   

  1. 西安科技大学理学院数学系, 陕西 西安 710054
  • 收稿日期:2014-12-10 修回日期:2015-09-06 出版日期:2015-12-20 发布日期:2015-12-23
  • 作者简介:梁少辉(1981-),男,博士,讲师,研究方向为格上拓扑与模糊推理.E-mail:liangshaohui1011@163.com
  • 基金资助:
    国家自然科学基金资助项目(11001158,71103145);陕西省科技计划项目(2011JQ1016);陕西省教育厅科研计划项目(12JK0858);西安科技大学培育基金(2010041)

The category of E-quantales

LIANG Shao-hui   

  1. Department of Mathematics, Xi'an University of Science and Technology, Xi'an 710054, Shaanxi, China
  • Received:2014-12-10 Revised:2015-09-06 Online:2015-12-20 Published:2015-12-23

PDF (PC)

1228

摘要： 引入了E-quantale的定义及其一些相关概念, 讨论了E-quantale的一些重要性质。 证明了Quantale的幂集和E-quantale的乘积均可构成E-quantale, 给出了Quantale的一种自然扩张,由E-quantale可以扩张成一个Quantale。 在Quantale子范畴和E-quantale范畴之间定义了一个嵌入函子K, 并在函子K与遗忘函子U之间构造了一个自然变换, 证明了在一定条件下一个E-quantale和某个单位Quantale的幂集同构。

关键词: 范畴, 自然变换, 函子, Quantale, E-quantale同态

Abstract: The definition of an E-quantale is introduced, and some properies of E-quantale is obtained. It is proved that the power set of Quantale and the product of E-quantales are E-quantales. Finally, an embedding functor K from the subcategory of Quantales to the category of E-quantale is introducted, and a natural transformation from functor K and forgotten functor U is constructed. Moreover, under some conditions an E-quantale is isomorphic to the power set of a unital Quantale.

Key words: Quantale, category, functor, E-quantale morphisms, natural transformation

中图分类号: 

  • O153.1
[1] MULVEY C J. Second topology conference (Taormina,1984)[J]. Rend Circ Mat Palermo(2): Suppl, 1986, 12:99-104.
[2] MULVEY C J, PELLETIER J W. On the quantisation of point[J]. Journal of Pure and Applied Algebra, 2001, 159:231-295.
[3] NIEFIELD S, ROSENTHAL K I. Strong de Morgan's law and the spectrum of a commutative ring[J]. Journal of Algebra, 1985, 93:169-181.
[4] GIRARD J Y. Linear logic[J]. Theoretical Computer Science, 1987, 50:1-102.
[5] BERNI-CANANI U, BORCEUX F, SUCCI-CRUCIANI R. A theory of quantale sets[J]. Journal of Pure and Applied Algebra, 1989, 62:123-136.
[6] ROSENTHAL K I. Quantales and their applications[M]. London: Longman Scientific and Technical, 1990.
[7] VERMEULEN J J C. Proper maps of locales[J]. Journal of Pure and Applied Algebra, 1994, 92:79-107.
[8] MIRAGLIA F, SOLITRO U. Sheaves over right sided idempotent quantales[J]. Logic J IGPL, 1998, 6(4):545-600.
[9] CONIGLIO M E, MIRAGLIA F. Modules in the category of sheaves over quantales[J]. Annals of Pure and Applied Logic, 2001, 108:103-136.
[10] KRUML D. Spatial quantales[J]. Applied Categorial Structures, 2002, 10: 49-62.
[11] RESENDE P. Sup-lattice 2-forms and quantales[J]. Journal of Algebra, 2004, 276:143-167.
[12] 刘智斌,赵彬. Quantale范畴的代数性[J].数学学报, 2006, 49(6):1253-1258. LIU Zhibin, ZHAO Bin. Algebraic properties of category of quantale[J]. Acta Mathematica Sinica, 2006, 49(6):1253-1258.
[13] 赵斌,梁少辉. 双Quantaler模范畴[J]. 数学学报, 2009, 52(4):821-832. ZHAO Bin, LIANG Shaohui. The category of doubel Quantale modules[J]. Acta Mathematica Sinica, 2009, 52(4) : 821-832.
[14] 梁少辉. L-fuzzy quantale的若干性质[J]. 山东大学学报:理学版,2012,47(4):104-109. LIANG Shaohui. Resarches on some properties of L-fuzzy quantale[J]. Journal of Shandong University: Natural Science, 2012, 47(4):104-109.
[15] LEDDA A, KONIG M, PAOLI F. MV algebras and quantum computation[J]. Studia Logica, 2006, 82(2):245-270.
[16] PASEKA J. Projective quantales: a general view[J]. International Journal of Theoretical Physics, 2008, 47(1):291-296.
[17] REMIGIJUS P G. Extensions of states on MV-quantales[J]. Fuzzy Sets and Systems, 2012, 194:31-51.
[18] TAO Yuantao, LAI Hongliang, ZHANG Dexue. Quantale-valued preorders: Globalization and cocompleteness[J]. Fuzzy Sets and Systems, 2014, 256: 236-251.
[19] RESENDE P. Functoriality of groupoid quantales[J]. Journal of Pure and Applied Algebra, 2015, 219(8):3089-3109.
[20] PULTR A. Notes on an extension of the structure of frame[J]. Discrete Mathematics, 1992, 108(2):107-114.
[21] PICADO J. On extended frames[J]. Commentationes Mathematicae Universitatis Carolinae, 1995, 36(3):537-549.
[22] HERRILICH H, STRECKER E. Category theory[M]. Berlin: Heldermann Verlag, 1979.
[1] 何健,何婧,周潘岳. n-外角范畴的泛扩张[J]. 《山东大学学报(理学版)》, 2026, 61(4): 13-18.
[2] 郑敏,陈清华. 外三角范畴粘合的低阶K-群[J]. 《山东大学学报(理学版)》, 2026, 61(4): 25-36.
[3] 李瑷竹,梁力. Frobenius函子与X -Gorenstein投射对象[J]. 《山东大学学报(理学版)》, 2026, 61(4): 52-55.
[4] 司慧如,姚海楼. 阿贝尔范畴中的n-弱内射对象[J]. 《山东大学学报(理学版)》, 2025, 60(2): 14-18.
[5] 秦晓宇,梁力. 平凡扩张范畴中的Gorenstein同调对象[J]. 《山东大学学报(理学版)》, 2025, 60(11): 54-58.
[6] 王玲,赵彬. 子Z-Quantale及其性质[J]. 《山东大学学报(理学版)》, 2024, 59(6): 76-83.
[7] 梁少辉,张雪亭,夏小刚. 对合m-半格中特殊元、理想及其范畴性质[J]. 《山东大学学报(理学版)》, 2024, 59(4): 1-8.
[8] 辛政,王顶国,赵体伟. 正合范畴上的稳定函数和挠理论[J]. 《山东大学学报(理学版)》, 2024, 59(2): 105-109.
[9] 罗金萍,梁力. 顿范畴中的相对Gorenstein投射对象[J]. 《山东大学学报(理学版)》, 2024, 59(2): 100-104, 119.
[10] 杨鲜红,唐国亮,狄振兴. 三角矩阵环上Gorenstein平坦余挠模的黏合[J]. 《山东大学学报(理学版)》, 2023, 58(8): 18-25.
[11] 刘敏,李玉林. S-半群的完备化[J]. 《山东大学学报(理学版)》, 2022, 57(6): 23-30.
[12] 刘惠丽,杨涛. 乘子Hopf T-余代数的交叉表示范畴[J]. 《山东大学学报(理学版)》, 2022, 57(6): 1-7.
[13] 刘妍平. 关于对偶对的相对导出范畴[J]. 《山东大学学报(理学版)》, 2022, 57(2): 23-30.
[14] 高昕昭,谢云丽. G2型丛代数中丛单项式线性无关性的范畴化证明[J]. 《山东大学学报(理学版)》, 2022, 57(10): 34-38.
[15] 陈美卉, 梁力. 顿范畴中的强Gorenstein投射对象[J]. 《山东大学学报(理学版)》, 2021, 56(8): 81-85.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 2018 《山东大学学报(理学版)》编辑部　
地址: 山东省济南市山大南路27号山东大学中心校区（250100）　电话: +86-0531-88366917　E-mail: xblxb@sdu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发