2 papers
math.GN2019
Algebraic representation of continuous lattices via the open filter monad, revisited
Wei Yao, Yueli Yue
In [A. Day, Filter monads, continuous lattices and closure systems, Can. J. Math. 27 (1975) 50--59], Day showed that continuous lattices are precisely the algebras of the open filt…
math.GN2019
Algebraic representation of L-valued continuous lattices via the open filter monad
Wei Yao, Yueli Yue, Bin Pang
With a complete Heyting algebra as the truth value table, we prove that the collections of open filters of stratified -valued topological spaces form a monad. By means of $L…