量化Domain理论的L-Fuzzy式处理(II) L-Fuzzy拟序集的表示

本文是文献[4]的续。对于固定的FrameL,本文证明了每个LF-拟序集可以等价地表示为拟序的层,该结果与L-Fuzzy集的分解和表示定理类似。由这此定理可得出以下结论:一类量化Domain(例如,广义超度量Domain)实际上是将满足一定条件的拟序族进行"粘贴"的结果(按照层论的语言叙述,就是拟序的层),而通常的拟序则是常值拟序层的特例。

预层的相伴层泛映射性质证明的注记

本文改正了参考文献[1]中命题4.1前半部分证明中的一个错误,并给出了其证明中省略的细节.

Brendon同调理论和带转移的预层

从奇异同调理论出发,进一步讨论RO(G)-分次的Brendon同调理论,利用范畴张量积的定义,证明了G-流形范畴到阿贝尔范畴的函子F∫M是预层,进一步证明预层链复形C*(ZX)∫M可以用来计算X的Brendon同调群。

预层对奇异上链复形的新诠释

本文是在奇异链复形、范畴等相关同调理论的基础上,定义了两个新的奇异上链复形C~*(F,Ζ),Ζ(V),结合麦基函子,将预层函子作用在它们所在范畴,找到了两个奇异上链复形对应的上同调群间的同构关系。