Print

信息序的逼近与广义链完备化

论文摘要

本文基于计算直觉并结合文献[9],[12]中的若干思想,提出了偏序逼近族的概念,在偏序集的范畴中构造了由偏序逼近族所产生的逆系及其弱逆极限,其中弱逆极限是逆系(余定向系)的逆极限(余极限)概念的序化版本,而所构造的弱逆极限则是偏序集链完备化的一种推广。

论文目录

  • 摘要
  • 关键词
  • Abstract
  • Key words
  • 引言
  • 第1章 预备知识
  • 第1.1节 范畴论的基本概念
  • 第1.2节 序和Domain理论的基本知识
  • 第2章 偏序的逼近以及广义链的完备化
  • 第2.1节 分裂关系族、逆系及其逆极限
  • 第2.2节 偏序的逼近
  • 第2.3节 广义链的完备化
  • 参考文献
  • 相关论文文献

    本文来源: https://www.lw50.cn/article/92e0132de51d951f07fa2a99.html