函子相关论文
Zadeh的扩展原理为我们提供了一种把经典映射扩展为模糊映射的方法,扩展原理在模糊数学及其他领域的发展中起到很大的作用。但是Za......
本文对动力系统中的一类集合L(x1,x2)作了推广,研究其相关性质并得到等度连续系统的一个刻画。同时还利用范畴论中范畴和函子的概念......
本论文的主要内容分为三部分.第一部分,研究了 Novikov代数的结构与分类.首先,构造了两类无穷维Novikov代数并给出了它们的具体实......
我们考虑连续 Hilbert 空间代表的一个范畴和光滑的 Fr 的一个范畴 ?? 敇晬湡 ? 態桺慤?? 蚇' 撀穑浚......
这份报纸的主要目的是在所有有限的可溶的组的宇宙学习常规、及物的亚群函子。我们证明他们形成一补充并且包含二相关 sublattices......
...
乡土情结是中华民族特有的文化现象,山东尤甚。由山东省吕剧院创作出品的大型现代吕剧《回家》,就充分体现了这种浓厚的乡土情结,......
第一次在山东省吕剧院二楼排练厅看吕剧《回家》连排,是2014年春节前的腊月二十八。离春节只有两天了,家在上海的导演为了《回家》......
泛型程序设计思想是软件重用技术中重要的思想,近年来这个思想受到广泛的重视并发展很快,为了更有效地保证泛型程序设计的正确性,本文......
在本文中,我们主要探讨模的覆盖和包络的保持。在文章的第二节中,我们主要考虑以下两个问题:在什么情况下,模的内射包络的直积是模......
简:在未发明造纸术之前,我国曾用削成狭长的竹片作为书写材料,这种竹片称为简.用于写信的便称为书简.牍:古时书写用的薄而小的木片......
NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Horn逻辑程序作为自动推理.给出NKI中的本体、框架和逻......
高等代数作为本科阶段代数领域一门最重要的基础课程,对于日后接触其它代数分支有极为重要的先导作用;如今,范畴作为一门语言以及......
该文第一部分首先利用相关远域族的概念引入L-拓扑空间中的*超仿紧性,讨论了它的基本性质以及它与其它仿紧性的关系,并得到其闭遗......
在多饱和模型下研究了由度量空间诱导的*-拓扑J*和s-拓扑Js.首先,为了构造*-拓扑J*,提出了有限点集的概念.其次,在此拓扑空间中证......
定义了集合范畴上的超滤函子(F)u(-),并研究了相关性质.包括函子(F)u(-)在有限集上保拉回,一个集合的子集成为(F)u-子余代数的充要......
通过引进控制传输的概念,研究了一类特殊的有限群的π-Hall子群在控制传输理论中的应用,得到了一系列有意义的结果。......
设R为一个含单位元的结合证。熟知R上的投射模为半自反模,有限生成投射模为自反模。文〔3〕作者指出存在投射模未必为亚投射模,而亚投射......
给出了幺半群S-系范畴的若干对自然同构的函子.研究了Hom函子和张量函子的性质,得到了幺半群的一些刻画.在幺半群S-系范畴中得到若......
引进π-特征函子和熔合的概念,研究了一类特殊的有限群的π-Hall子群在熔合理论中的应用,并得到了一些有用的结果。......
论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律....
建立平均可分半群范畴中的张量积,证明其存在与唯一性,同时,建立平均半群的极大可分半群象与张量积之间的关系.......
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并......
本文提出了模糊格蕴涵代数范畴FLC的概念,讨论了它的一些基本性质并指出了它与范畴LC的关系。......
本文在局部左(右)单位元环上定义赋值映射,U 一对偶函子,讨论了 U一反身模,U 一无挠模的性质,本文的主要结果是:命题5、6.......
在本文中作者从集合与代数两个角度研究了闭包系统的特性,得到了一系列有趣的结果,所有这些结果都是与映射、同态、函子有密切关系的......
换我心,为你心,始知相忆深! 亲情、友情、恋情、情系健康。 思念、想念、怀念,念念不忘。 北京 月坛中学高三 张桂函 小函子,听说你......
通过一类特殊的模范畴Rχ(sχ),使Rχ-包(盖)在Morita context函子作用下转化为sχ-包(盖),最后利用正向极限的特性,进一步刻画这类特殊......
通过上临界模在Morita context函子作用下所保持的性质,引入了τψ-素挠理论,再讨论τψ-素挠理论的特殊性质;并通过R—tors中CenR(τ......
首先介绍扭曲Lie余代数.然后讨论扭曲Lie代数和扭曲Lie余代数范畴.主要给出扭曲Lie结构范畴之间函子的一些性质.......
给出了幺半群S-系范畴的若干对自然同构的函子.研究了Hom函子和张量函子的性质,并得到S-系是忠实平衡的一个充要条件.在幺半群S-系范......
基于群中元素的交换性,构造了一个函子G:Groups→s -Graphs ,并且构造了其反向函子F:s -Graphs→Groups ,证明了F恰是G的伴随函子。......
状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1)对于任意给定的一类Kripke......
根据Fuzzy拓扑学具有拓扑结构与序结构的密切关系 ,本文引进了Fuzzy拓扑范畴的主要定理 ,为进一步研究拓扑学奠定了基础......
本文引入CKBS范畴的对偶范畴(CDBS-).并证明两个函子T1、T2与函子T之间的自然等价关系....
本文讨论了凝聚环 R上 FP-自内射维数与对偶函子之间的内在联系 ,从而给出了凝聚环 ( Noether环 )上 FP-id RR≤ 1 ( id RR≤ 1 )......
介绍了 L-Fuzzy拓群范畴,引入了两个函了了,构造了它们的右伴随函数子,证明了分明拓扑群范畴和诱导L-Fuzzy拓扑群范畴都是L-Fuzzy拓扑群范畴的余反射子范畴......
本文在余Comma范畴上引进拉回函子概念,并讨论了拉回函子的性质....
给出了S-系预根的概念,讨论了它的基本性质,并给出了预根与S的右线性拓扑的关系。...
利用一般范畴D构造了新范畴ID和I^opD,证明了若D是Abel范畴,则存在范畴ID到I^opD的忠实函子,且ID也是Abel范畴。......