范畴等价相关论文
1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......
本文讨论了在逻辑框架下刻画Domain范畴所必需的方法与技巧.Domain以及它们之间的Scott-连续映射构成了计算机程序语言的指称语义......
Domain理论主要研究具有特殊性质的偏序集,其目的是为程序语言指称语义提供数学模型.由于具有明显的计算机科学背景以及其研究涉及......
Morita理论是研究环、模、表示论的一个重要工具.本文主要研究在一般的结合环中,什么条件下Morita理论成立或部分成立,即何时两个......
学位
Domain结构的表示是Domain理论的一个热点研究方向,其目的是用相对具体或简单的数学结构来表示相对抽象的domain结构.常用于表示do......
Domain理论是由20世纪70年代,图灵奖获得者Dana Scott等人创立,它为计算机函数式程序语言提供指称语义,在计算机领域中起着重要的......
概念层次结构的序性质是形式概念分析的研究重点.本文基于对关系相容F-扩张形式背景的研究,提出一种基于闭包空间的Scott型信息系......
本文引进了新的闭包系统,新的闭包算子等概念, 研究了它们之间的相互关系, 给出了由闭包系统来表示有限原子格的表示定理, 并对分......
本文主要给出*-模的一些充分必要条件,同时还证明了: 如果f:R →S是环同态,RP是P-投射模,当RP是*-模,Tilting模,拟Tilting模时,S(0......
本文研究了环上模范畴与余环上余模范畴.运用可裂叉与余可分余环的性质,得到了以上两个范畴等价的一些充分条件,从而推广了文献[6]......
概念格是知识表示和数据分析的重要工具，单调概念格是概念格的推广。本文就Deogun等提出的单调概惫格进行了两方面的研究：一，指出......
证明了函子范畴的回路范畴与回路范畴的函子范畴是范畴等价的;推出范畴的回路范畴与回路范畴的推出范畴是范畴等价的.......
本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论.......
本文研究了环上模范畴与余环上余模范畴. 运用可裂叉与余可分余环的性质, 得到了以上两个范畴等价的一些充分条件, 从而推广了文献......
本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_(HT),其态射是保真关系,另一个范畴是Herbrand......
本文考虑了有局部右单位元子环的Ｍｏｒｉｔａ－ｌｉｋｅ等价，推广了１９９１年许永华在文〔１〕中建立的定理。......
设M是加法范畴C上的理想，若商范畴C／M是幂等可提升的，令M={a∈Mor（C）｜a∈M），本文证明商范畴C/M与对范畴C／M的幂等完备化范畴C/M是范畴等价的......
本文通过Morita Context（R，M，N，S，ψ，φ）方法，讨论了absolutely τ-pure左R-模范畴和absolutely σ-pure左S-模范畴，得到了关于模及子范畴等......
引入了关系对合Quantale的定义，得到了对合Quantale的表示定理，并且在范畴意义下，讨论了对合Quantale范畴与其满子范畴等价．......
证明了ｈ（－，Ｍ）函数保持右正合及有限值和，－□ｃＭｃ（ｃＭ拟有限）保持拟有限和有限维性，推出了联系余－ｈｏｍ和余张量函数的一人同构，给出了强等价新的定义，并得到范......
证明Gt（M）AnnN（It）,Ft（Nt）AnnNt（I3-t）,Pt（M）M/ItM,Qt（Nt）Nt/I3-tNt进一步得到自然等价η：F2G2→F1G1,：θQ1P1→Q2P2,进而得到范畴等价W M,接着讨......
考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel......
20世纪70年代,图灵奖获得者Dana Scott提出了Domain理论,它在计算机程序设计语言中有重要作用。在纯数学领域,Lawson,Stralka等人......
首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(......
Domain理论由图灵奖获得者D.S.Scott创立,其目的是为函数式程序语言的指称语义提供一个数学模型.该理论的主要研究对象是一些具有......
