范畴Ω-Cat上的模结构

详细信息    查看全文 | 推荐本文 |

英文篇名：The Monad of Ω-Cat Category 作者：赵娜 ; 鲁静 英文作者：Zhao Na;Lu Jing;Mathematics Staff Room,Changzhi Medical College;College of Mathematics and Information Science,Shaanxi Normal University; 关键词：Ω-范畴 ; 模 ; 反射子范畴 英文关键词：Ω-category;;monad;;reflective subcategory 中文刊名：NJSF 英文刊名：Journal of Nanjing Normal University(Natural Science Edition) 机构：长治医学院数学教研室;陕西师范大学数学与信息科学学院; 出版日期：2019-06-20 出版单位：南京师大学报(自然科学版) 年：2019 期：v.42;No.158 基金：国家自然科学基金(11601302) 语种：中文; 页：NJSF201902010 页数：4 CN：02 ISSN：32-1239/N 分类号：63-66

摘要

本文构造了范畴Ω-Cat上的一个模,并且证明了范畴Ω-Poset与范畴Ω-Cat~T同构.
        In this paper,we construct a monad of Ω-Cat category,and prove that Ω-Poset category is isomorphic to Ω-Cat~T category.

引文

[1] WAGNER K R.Solving recursive domain equations with enriched categories[D].Pittsburgh:Garnegie Mellon University,1994.
    [2] 赖洪亮.Ω-范畴序结构性质的研究[D].成都:四川大学,2007.
    [3] 苏淑华.Ω-范畴在量化Domain理论中的应用研究[D].长沙:湖南大学,2014.
    [4] 耿俊,汤建钢,聂晓艳.范畴Ω-Cat的完备性[J].模糊系统与数学,2012,26(2):147-151.
    [5] 耿俊,汤建钢,聂晓艳.范畴Ω-Cat的极限和余极限[J].模糊系统与数学,2012,26(4):90-93.
    [6] 耿俊,汤建钢.范畴Ω-Cat的函数空间及其性质[J].模糊系统与数学,2014,28(5):71-75.
    [7] LAI H,ZHANG D.Complete and directed complete Ω-categories[J].Theoretical computer science,2007,388:1-25.
    [8] ROSENTHAL K I.Quantales and their applications[M].New York:Longman Scientific and Technical,1990.
    [9] YAO W.Quantitative domain via fuzzy sets:partⅠ:continuity of fuzzy directed-complete poset[J].Fuzzy sets and systems,2010,161:973-987.
    [10] 贺伟.范畴论[M].北京:科学出版社,2006.