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

2019/12/07 by Wei Yao, Yao, Wei, Yueli Yue +3
Computer Science · Decision Sciences · #Advanced Algebra and Logic #FOS: Mathematics #Fuzzy and Soft Set Theory #General Topology (math.GN) #Rough Sets and Fuzzy Logic

paper · pdf · doi:10.48550/arxiv.1912.03505

openalex publication_date 2019/12/07 · openalex created_date 2019/12/13 · openalex updated_date 2026/07/28

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.

Citations

• Filter Monads, Continuous Lattices and Closure Systems

Related

• Algebraic representation of continuous lattices via the open filter monad, revisited
• Filter Monads, Continuous Lattices and Closure Systems
• Open filters and measurable cardinals
• The enriched Vietoris monad on representable spaces
• The saturated prefilter monad