检索结果-南通市图书馆

数学年刊（A辑） 1997年第3期1卷 361-366页

作者：贺伟刘应明陕西师范大学数学系四川联合大学数学系

本文研究ｌｏｃａｌｅ范畴的反射子范畴，给出反射子范畴的刻划定理，从一般的ｌｏｃａｌｅ出发，完全构造性地给出了ｌｏｃａｌｅ的正则反射、完全正则反射和零维反射的构造．

关键词：拓扑空间范畴反射子范畴 Locale范畴对偶范畴

在线全文

学校读者我要写书评

暂无评论

模糊Z-Quantale范畴的反射子范畴

吉林大学学报（理学版） 2018年第4期56卷 805-811页

作者：邬宏伟汪开云陕西师范大学数学与信息科学学院西安710119

利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quantale的具体结构,并讨论由反射子构造的模糊Galois伴随.

关键词：模糊Quantale 模糊Z-Quantale 反射子范畴模糊Galois伴随

在线全文

学校读者我要写书评

暂无评论

拟阵范畴的一个反射子范畴

陕西师范大学学报（自然科学版） 2012年第5期40卷 5-8页

作者：刘妮陕西师范大学数学与信息科学学院陕西西安710062

对简单拟阵范畴(以强映射为态射,以全体简单拟阵为对象的范畴)与拟阵范畴(以强映射为态射,以全体拟阵为对象的范畴)之间的关系进行了研究.证明了任意拟阵的简单化拟阵与该拟阵在平行相等关系下的商拟阵同构,构造了从简单拟阵范畴到拟阵... 详细信息

对简单拟阵范畴(以强映射为态射,以全体简单拟阵为对象的范畴)与拟阵范畴(以强映射为态射,以全体拟阵为对象的范畴)之间的关系进行了研究.证明了任意拟阵的简单化拟阵与该拟阵在平行相等关系下的商拟阵同构,构造了从简单拟阵范畴到拟阵范畴的含入函子的左伴随,从而证明了简单拟阵范畴是拟阵范畴的一个反射的满子范畴.

关键词：简单拟阵商拟阵简单化拟阵强映射反射子范畴

在线全文

学校读者我要写书评

暂无评论

一个弱sober化不存在的例子

江西师范大学学报（自然科学版） 2023年第6期47卷 558-561页

作者：张晓媛徐晓泉河北金融学院大数据科学学院河北保定071051 闽南师范大学数学与统计学院福建漳州363000

该文基于偏序集的Alexandroff空间说明了以拟sober空间(弱sober空间,cut空间)为对象、以连续映射为态射的范畴QSob(WSob,Top_(cut))都不是Top0的反射子范畴.

关键词：拟sober空间弱sober空间 cut空间反射子范畴

在线全文

学校读者我要写书评

暂无评论

一类局部定向完备集及其范畴的性质

数学进展 2005年第6期34卷 677-682页

作者：管雪冲王戈平徐州师范大学数学系徐州江苏221116

本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系,从而进一步给出了一种新的连续性概念,接着讨论了局部定向完备集,连续的曷部定向完备集等对象的一些性质,最后考察了三种范畴的笛卡儿闭性,并证明了范畴LDCPO是范畴... 详细信息

本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系,从而进一步给出了一种新的连续性概念,接着讨论了局部定向完备集,连续的曷部定向完备集等对象的一些性质,最后考察了三种范畴的笛卡儿闭性,并证明了范畴LDCPO是范畴ALG的反射满子范畴．

关键词：局部定向完备集笛卡儿闭范畴反射子范畴

L-预拓扑空间中的近似L-开集及相关的连通性和范畴性质

在线全文

学校读者我要写书评

暂无评论

模糊系统与数学 2012年第1期26卷 1-7页

作者：杨婷李生刚伏文清陕西师范大学数学与信息科学学院陕西西安710062 石河子大学理学院数学系新疆石河子832000 西安工业大学数理系陕西西安710032

研究L-预拓扑空间中L-开集的一些近似形式(其中L是有逆合对应的C-格):θ-L-开集,δ-L-开集,α-L-开集以及β-L-开集。证明了(1)当L的最大元1是并既约元时L-预拓扑空间的连通性、θ-连通性、δ-连通性和α-连通性是等价的;(2)θLTop是LT... 详细信息

研究L-预拓扑空间中L-开集的一些近似形式(其中L是有逆合对应的C-格):θ-L-开集,δ-L-开集,α-L-开集以及β-L-开集。证明了(1)当L的最大元1是并既约元时L-预拓扑空间的连通性、θ-连通性、δ-连通性和α-连通性是等价的;(2)θLTop是LTopsθ、LTop以及LTopθ的反射满子范畴,δLTop是LTopsδ和LTopδ的反射满子范畴;(3)当格L为幂集格时αLTop是LTopsα和LTopα的余反射满子范畴;θLPTop是LPTopsθ、LPTop以及LPTopθ的反射满子范畴,δLPTop是LPTopsδ和LPTopδ的反射满子范畴。

关键词： L-预拓扑空间 θ-L-开集 δ-L-开集 α-L-开集连通性反射子范畴余反射子范畴

在线全文

学校读者我要写书评

暂无评论

拟连续Domain及其子范畴间的伴随关系

数学年刊（A辑） 2002年第5期23卷 633-642页

作者：寇辉罗懋康四川大学数学学院成都610064

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴... 详细信息

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.

关键词： Adjunction 反射子范畴拟连续Domain Smyth幂Domain

对称的满层L-Kent收敛空间范畴的子范畴

在线全文

学校读者我要写书评

暂无评论

模糊系统与数学 2013年第1期27卷 84-90页

作者：高小燕榆林学院数学与应用数学系陕西榆林719000

在满层的L-Kent收敛空间中引入了对称性的概念,定义了对称的满层L-Kent收敛空间范畴,对称的满层L-极限空间范畴,对称的满层L-主收敛空间范畴,对称的满层L-拓扑空间范畴。证明这四个范畴是拓扑范畴,并且后一个是前一个的反射子范畴。最... 详细信息

在满层的L-Kent收敛空间中引入了对称性的概念,定义了对称的满层L-Kent收敛空间范畴,对称的满层L-极限空间范畴,对称的满层L-主收敛空间范畴,对称的满层L-拓扑空间范畴。证明这四个范畴是拓扑范畴,并且后一个是前一个的反射子范畴。最后证明了对称的满层L-Kent收敛空间范畴和对称的满层L-极限空间范畴是笛卡儿闭的。

关键词：对称的满层L-Kent收敛空间反射子范畴笛卡儿闭拓扑范畴

在线全文

学校读者我要写书评

暂无评论

范畴Ω-Cat上的模结构

南京师大学报（自然科学版） 2019年第2期42卷 57-60页

作者：赵娜鲁静长治医学院数学教研室山西长治046000 陕西师范大学数学与信息科学学院陕西西安710062

本文构造了范畴Ω-Cat上的一个模,并且证明了范畴Ω-Poset与范畴Ω-CatT同构.

关键词： Ω-范畴模反射子范畴

Z-Quantale结构及模糊Quantale范畴中的投射对象

在线全文

学校读者我要写书评

暂无评论

Z-Quantale结构及模糊Quantale范畴中的投射对象

作者：鲁静陕西师范大学

学位级别：硕士

Quantale是由C. J. Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的数学模型.1990年,***给出了Girard提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quan... 详细信息

Quantale是由C. J. Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的数学模型.1990年,***给出了Girard提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quantale理论之间的密切关系,从此,Quantale理论的研究受到国内外众多学者的关注,有关Quantale理论的大量新的观点及应用不断被揭示.本文将进一步研究Z-Quantale结构及模糊Quantale范畴中的投射对象.主要内容安排如下：第一章：预备知识.介绍了Quantale、Z-quantale、模糊Quantale、范畴理论中的基本概念和相关知识.第二章：Z-Quantale结构.首先,引入了交Z-quantale的概念,主要证明了交Z-quantale的所有Z-闭子集构成的集合在包含序下是Frame.其次,讨论了交Z-quantale上的核映射、商、同余之间的关系.最后,证明了Quantale范畴是Z-quantale范畴的反射子范畴.第三章：模糊Quantale范畴中的投射对象.引入了模糊弱(?)-稳定完全分配格的概念,给出了模糊Quantale Q是模糊弱(?)-稳定完全分配格的充要条件.此外,讨论了模糊Quantale范畴中的投射对象,证明了Q是模糊Quantale范畴中的E-投射对象当且仅当Q是模糊弱(?)-稳定完全分配格.第四章：模糊Quantale范畴中的E*-投射对象.首先,引入了模糊预Quan-tale的定义,证明了模糊Quantale范畴是模糊预Quantale范畴的反射子范畴.其次,讨论了模糊Quantale范畴中的E*-投射对象.最后,证明了Q是模糊Quantale范畴中的E*-投射对象当且仅当Q有余代数结构.

关键词： Quantale Z-quantale 模糊 Quantale 投射对象反射子范畴