Scifaro

中文

L 值连续格通过开滤子单子的代数表示

一般拓扑 2019-12-10 v1

作者: Wei Yao , Yueli Yue , Bin Pang

在 arXiv 上查看 ↗ PDF ↗

摘要

以完备 Heyting 代数 $L$ 作为真值表，我们证明分层 $L$ 值拓扑空间的开滤子集合构成一个单子。借助 $L$ -Scott 拓扑与特化 $L$ -序，我们得到开滤子单子的代数恰为 $L$ -连续格。

关键词

L 值拓扑开滤子单子连续格 Heyting 代数 Scott 拓扑特化序

引用

@article{arxiv.1912.03505,
  title  = {Algebraic representation of L-valued continuous lattices via the open filter monad},
  author = {Wei Yao and Yueli Yue and Bin Pang},
  journal= {arXiv preprint arXiv:1912.03505},
  year   = {2019}
}

备注

5 figures