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

Wei Yao, Yueli Yue, Bin Pang

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…