预序集上的双Scott拓扑的中期报告

预序集上的双Scott拓扑的中期报告预序集上的双Scott拓扑是一种自然的拓扑结构,用于描述偏序集之间的连续性和逼近性。该拓扑是由Scott拓扑和反Scott拓扑所组成的,它将一个偏序集和它的元素映射

腾讯文库预序集上的双Scott拓扑的中期报告