1 research outputs found
Algebraic representation of L-valued continuous lattices via the open filter monad
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 -Scott topology and the specialization -order,
we get that the algebras of open filter monad are precisely -continuous
lattices.Comment: 5 figure