arXiv subjects

Yueli Yue

Publications and source records attributed to Yueli Yue.

2 recordsLinked to original sources

arXiv2019

Algebraic representation of continuous lattices via the open filter monad, revisited

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 filter monad over the category of $T_0$ spaces. The aim of this paper is to give a clean and clear version of the whole process of Day's approach.

math.GN↗

arXiv2019

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

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.

math.GN↗