Horn逻辑上的范畴等价及方法推广

本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_(HT),其态射是保真关系,另一个范畴是Herbrand解释范畴C_(HB),范畴等价可以描述作用于理论上元级操作的语义,本文一般性地描述了这一方法的思想。

模范畴与余模范畴之间的等价(英文)

本文研究了环上模范畴与余环上余模范畴. 运用可裂叉与余可分余环的性质, 得到了以上两个范畴等价的一些充分条件, 从而推广了文献[6]中的一些结果.

两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数bc-domain范畴ABD等价．

Neat模和等价子范畴

本文通过Morita Context〈R,M,N,S,ψ,φ〉方法,讨论了absolutelyτ-pure左R-模范畴和absolutelyσ-pure左S-模范畴,得到了关于模及子范畴等价的一些结果.

论作为伦理范畴的等价交换

论作为伦理范畴的等价交换唐永泽随着我国社会主义市场经济体制的确认和逐步建立，等价交换原则正日益自觉或不自觉地成为人们实际生活中的一种价值准则和伦理观念。那么，本来是经济活动和物质生活领域中通行的原则，何以也能成为一项道德原则呢？它是什么样的或者叫什...

稳定连续半格的闭包空间表示

为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性.

有局部右单位元子环的Morita－like等价

本文考虑有局部右单位元子环的Ｍｏｒｉｔａ－ｌｉｋｅ等价，推广了１９９１年许永华在文［１］中建立的定理．

加法范畴的推出范畴的幂等完备化

考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。

模糊集范畴及集合范畴上的模

本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论.

拉回环确定的模范畴

证明Gt(M)AnnN(It),Ft(Nt)AnnNt(I3-t),Pt(M)M/ItM,Qt(Nt)Nt/I3-tNt进一步得到自然等价η:F2G2→F1G1,:θQ1P1→Q2P2,进而得到范畴等价W M,接着讨论拉回环构造模范畴.

商范畴的幂等完备化

设M是加法范畴C上的理想,若商范畴C/M是幂等可提升的,令M=│a∈Mor(C)│a∈M│,本文证明商范畴C/M与对范畴C/M的幂等完备化范畴C/M是范畴等价的.

范畴的中心

本文讨论了范畴中心的一些性质。

函子范畴与幂等完备化构造的相容性

讨论函子范畴和范畴的幂等完备化构造的相容性,证明小范畴■到任意范畴■的函子范畴■的幂等完备化范畴等价于■到幂等完备化范畴■的函子范畴■.进一步得到函子范畴■是幂等完备的,当且仅当■是幂等完备的.

回路范畴的扩张及其应用

证明了函子范畴的回路范畴与回路范畴的函子范畴是范畴等价的;推出范畴的回路范畴与回路范畴的推出范畴是范畴等价的.

对合Quantale的表示定理

引入了关系对合Quantale的定义,得到了对合Quantale的表示定理,并且在范畴意义下,讨论了对合Quantale范畴与其满子范畴等价.

余模范畴上的强等价(英)

证明了h（－，M）函数保持右正合及有限直和，-□cM（cM拟有限）保持拟有限和有限维性；推出了联系余-hom和余张量函数的一个同构．给出了强等价新的定义，并得到范畴Mct和MD强等价当且仅当cM和DM强等价．令F：c*M→D*M是一等价，则当F(Mc)MD时，F|Mc强等价．这改进了林的结果．作为应用，证明了若F同上且D是自反的，则F|Mc是一强等价，且C是上自反的．

关于CE-内射模

定义了CE-内射模,它是一种特殊的内射模,由此定义了它的CE-内射维数,并刻画了CE-内射模与CE-内射维数的一些等价命题。

数学年刊第29卷B辑第4期(2008)目次和提要

关于Ω-范畴基底变换的一些研究方成玲张德学如果G:Ω→Ω′是一个(交换的有单位元的quantale之间的)闭unital映射,则G诱导了一个从Ω-Cat到Ω′-Cat的函子.讨论了一些关于G的性质.主要结论有:(1)当Ω,Ω′是交换的整的有单位元的quantale,G:Ω→Ω′和F:Ω′→Ω是闭的unital映射时,F是G的左伴随当且仅当F是G的左伴随;(2)

回路范畴的平凡扩张与冲积

根据加法范畴D上加法函子F,定义回路范畴ΩD上加法函子ΩF,并给出一族范畴等价Ω(D∝F)≌ΩD∝ΩF;证明了k上小范畴(G-分次范畴)的回路范畴仍为k上小范畴(G-分次范畴),同时给出了一族范畴等价(ΩD)#G≌Ω(D#G).

n级三角矩阵环上的模范畴和同调特征

本文给出了n级三角矩阵环Гn的定义．证明了n级三角矩阵代数Гn上的有限生成模范畴mod Гn与范畴Гn(?)等价,得到了诸如Гn的Jacobson根,Гn(?)的不可分解投射对象的形式及Гn的整体维数等性质．