共查询到20条相似文献,搜索用时 390 毫秒
1.
半格与Domain的表示 总被引:6,自引:0,他引:6
引入一种半格———D 半格,建立了D-半格的表示理论,利用它得到了L domain(即局部代数格)的表示理论;证明了L domain与稳定映射范畴对偶等价于稳定D 半格与D-半格同态范畴. 相似文献
2.
本文讨论了关于Waldhausen范畴的K理论与循环同调理论的联系.主要是推广了Dennis迹映射和Jones-GoodwillieChern映射.证明了迹映射保持各自的乘法结构.最后讨论了双变量的情形. 相似文献
3.
王立庆 《数学年刊A辑(中文版)》2001,(5)
本文讨论了关于 Waldhausen范畴的K理论与循环同调理论的联系.主要是推广了 Dennis迹映射和Jones-Goodwillie Chern映射.证明了迹映射保持各自的乘法结构.最后讨论了双变量的情形. 相似文献
4.
5.
本文给出了算术信息系统的概念,证明了算术信息系统是算术半格的表示。基于算术信息系统之间的逼近映射,我们得到了算术信息系统范畴和算术半格范畴之间的范畴等价。 相似文献
6.
本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念.主要结果是:以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡儿闭范畴. 相似文献
7.
8.
几种格上拓扑空间范畴中乘积与上积运算的封闭性 总被引:3,自引:0,他引:3
本文引入四种格上拓扑空间范畴,分别讨论了其中的乘积与上积运算,以及相应的结构性、唯一性和存在性问题。通过讨论,给出了一种比较理想的格上拓扑空间的乘积空间,并指出目前使用的格上拓扑空间的乘积空间具有一定的局限性,其所属范畴的态射是Zadeh型映射,这类映射保持Fuzzy点的高度不变,隐含度量不变性。 相似文献
9.
K.A.Hardie与K.H.Kamps研究过固定空间B上的迹同伦范畴([1]).他们引进了两对伴随函子PB┤NB与m┤m,此处m:AB是固定映射,PB:HBHB与m:HAHB是函子.我们在[2]中引进了分裂的范畴纤维化L:HbHB,并且证明了L┤J,J┤L.本文首先将PB┤NB推广到PBb┤NBb#,其中b:BB是任一固定映射,并且我们还得到涉及迹同伦范畴Hb与Hb的两对伴随函子,此处Hb是Hb的对偶.特别,Nb┤Pb不同于PB┤NB. 相似文献
10.
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。 相似文献
11.
Prequantale同余及其性质 总被引:7,自引:0,他引:7
本文给出了Prequantale同余的概念,讨论了它与Prequantale商和核映射之问的关系,得到了Prequantale上的全体商、全体核映射和全体同余作为完备格是同构的结论.找到了与同余相对应的商的具体结构.证明了Prequantale范畴有余等子. 相似文献
12.
本文引进了新的闭包系统,新的闭包算子等概念,研究了它们之间的相互关系,给出了由闭包系统来表示有限原子格的表示定理,证明了分别以这些数学结构为对象,以它们之间的同态映射作为态射,所对应的格范畴和对应的闭包系统范畴是范畴等价的. 相似文献
13.
14.
15.
系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。 相似文献
16.
格上点式一致结构的刻划与点式度量化定理 总被引:5,自引:0,他引:5
本文通过对格上远域映射,特别是△-映射和*-映射的性质的研究,给出了格上点式一致结构的若干简明刻划,证明了几个重要的格上点式度量化定理,并提出了与格上点式度量理论相协调的若干分离性公理. 相似文献
17.
18.
构造范畴WPC,论证它与拓扑分子格范畴CDB等价;并在此基础上阐述经典拓扑范畴TOP是范畴WPC的满子范畴,为研究经典拓扑学与Fuzzy拓扑学之间联系提供一点思路。 相似文献
19.
首先,在并半格中引入了上覆盖关系的概念,并以此为基础引入强并半格以及强并半格中上覆盖和C-滤子的概念,证明了强并半格S中全体C-滤子之族C Fil(S)是余Frame,讨论了简单上集值映射u:S→C Fil(S)的相关并半格同态性质;其次,证明了由一族余Frame{A_λ|λ∈Γ}的直积Π_(λ∈Γ)A_λ中只有有限个坐标非零的元素构成的子集A是强并半格,还证明了A是余Frame族{A_λ|λ∈Γ}在并半格范畴中的余积对象;最后,通过各个坐标集中的上覆盖关系在A中定义了上覆盖C~*,再结合简单上集值映射u:A→C~*Fil(A)和标准入射qλ:Aλ→Π_(λ∈Γ)A_λ(λ∈Γ),证明了强并半格A中由上覆盖C~*诱导的余Frame C~*Fil(A)是余Frame族{A_λ|λ∈Γ}在余Frame范畴中的余积对象. 相似文献
20.
半连续格的刻画和映射 总被引:2,自引:0,他引:2
本文讨论了半连续格的一些性质,在半连续格中引入半Scott开集族,用半Scott开集族来刻画半连续格,同时定义了半连续格之间的半连续映射,得到闭包算子的像仍是半连续格的条件.最后,研究了半连续格上的半连续映射的全体不动点之集的性质。 相似文献