Algebraic representation of L-valued continuous lattices via the open filter monad

Wei Yao; Yueli Yue; Bin Pang

Algebraic representation of L-valued continuous lattices via the open filter monad

General Topology 2019-12-10 v1

Authors: Wei Yao , Yueli Yue , Bin Pang

Abstract

With a complete Heyting algebra $L$ as the truth value table, we prove that the collections of open filters of stratified $L$ -valued topological spaces form a monad. By means of $L$ -Scott topology and the specialization $L$ -order, we get that the algebras of open filter monad are precisely $L$ -continuous lattices.

Keywords

l-valued topology open filter monad continuous lattices heyting algebra scott topology specialization order

Cite

@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}
}

Comments

5 figures

Algebraic representation of L-valued continuous lattices via the open filter monad

Abstract

Keywords

Cite

Comments

Related papers