函子相关论文
Zadeh的扩展原理为我们提供了一种把经典映射扩展为模糊映射的方法,扩展原理在模糊数学及其他领域的发展中起到很大的作用。但是Za......
本文对动力系统中的一类集合L（x1,x2）作了推广,研究其相关性质并得到等度连续系统的一个刻画。同时还利用范畴论中范畴和函子的概念......
本论文的主要内容分为三部分.第一部分,研究了 Novikov代数的结构与分类.首先,构造了两类无穷维Novikov代数并给出了它们的具体实......
泛型程序设计思想是软件重用技术中重要的思想，近年来这个思想受到广泛的重视并发展很快，为了更有效地保证泛型程序设计的正确性，本文......
在本文中,我们主要探讨模的覆盖和包络的保持。在文章的第二节中,我们主要考虑以下两个问题:在什么情况下,模的内射包络的直积是模......
高等代数作为本科阶段代数领域一门最重要的基础课程,对于日后接触其它代数分支有极为重要的先导作用;如今,范畴作为一门语言以及......
该文第一部分首先利用相关远域族的概念引入L-拓扑空间中的*超仿紧性,讨论了它的基本性质以及它与其它仿紧性的关系,并得到其闭遗......
在文献[1]中,Bart.Jacobs和Jesse.Hughes引进了集合范畴上带有偏序关系的函子概念,定义并研究了模拟以及双向互模拟等概念.本文在......
在多饱和模型下研究了由度量空间诱导的*-拓扑J*和s-拓扑Js.首先,为了构造*-拓扑J*,提出了有限点集的概念.其次,在此拓扑空间中证......
定义了集合范畴上的超滤函子(F)u(-),并研究了相关性质.包括函子(F)u(-)在有限集上保拉回,一个集合的子集成为(F)u-子余代数的充要......
论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律....
建立平均可分半群范畴中的张量积，证明其存在与唯一性，同时，建立平均半群的极大可分半群象与张量积之间的关系.......
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并......
通过一类特殊的模范畴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......
本文引入CKBS范畴的对偶范畴(CDBS-).并证明两个函子T1、T2与函子T之间的自然等价关系....
本文在余Comma范畴上引进拉回函子概念,并讨论了拉回函子的性质....
利用一般范畴D构造了新范畴ID和I^opD，证明了若D是Abel范畴，则存在范畴ID到I^opD的忠实函子，且ID也是Abel范畴。......
在方程逻辑中,通过引入语句函子Eqn : Sign→Set和模型函子Alg : Sign→Catop ,得到了方程逻辑可满足性条件定理,从而建立了方程逻......
在这份报纸，我们调查钟声射影的尺寸并且钟声模块和戒指的 injective 尺寸。让 R 是有 rDPD (R)= n 的一枚戒指 < ，并且让 W <sub>1<......
给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理.将关于模范畴的Watts定理推广到函子范畴.......
构造范畴WPC，论证它与拓扑分子格范畴CDB等价；并在此基础上阐述经典拓扑范畴TOP是范畴WPC的满子范畴，为研究经典拓扑学与Fuzzy拓扑学......
该文构造了一个从布尔代数范畴到满足可补性质的双重Stone代数范畴的函子，并证明了这个函子有一个等价的左伴随函子。......
在高等代数的教学过程中，教师借助范畴论的思想方法，如模、交换图、函子等，有助于学生深刻理解代数学思想，从而提高教学效果。......
伴随是范畴论中最重要的概念之一．其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义，证明了各个定义的相互等价性．从而可以......
研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴Mod C上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范......
以可换么半群范畴心和半模范畴sM为背景建立了弱加法范畴的概念，讨论了弱加法范畴中有限个对象上积的性质，给出了保持有限对象上积的......
利用范畴论中范畴与函子的概念，定义了动力系统范畴T到包络半群范畴E的共变函子F1及范畴丁到范畴E＊的反变函子F2，并分别讨论了范畴丁......
The purpose of this paper is to present some dual properties of dual comodule.It turns out that dual comodule has univer......
证明在半群范畴中,两个半群的张量积的极大正规带同态象恰好是这两个半群极大正规带同态象在正规带范畴中的张量积.......
最近，张德学引入了拓扑构造的co-tower扩张这一概念，并证明了不分明拓扑学中若干熟知的范畴构造可以表示为较为简单的范畴构造的co-t......
...
针对经典拓扑学和L-fuzzy拓扑学的隶属之争，定义L-fuzzy拓扑范畴，证明了L-fuzzy拓扑范畴的表现定理，从而在理论上诠释了二者之间存在......
定义了L-F拓扑范畴^-CDBS，给出范畴^-CDBS和经典拓扑范畴TOP之间自然等价的两个函子F和G，并且证明两者与文献[1]中函子T等价．......
视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研......
期刊
本文将经典集和模糊集溶为一体,提出一种新的代数结构--格上的CF集范畴,用函子的概念讨论了它们之间的关系,并从范畴论的角度出发,......
