Algebraic representation of frame-valued continuous lattices via the open filter monad
From MaRDI portal
Publication:6081542
DOI10.1016/j.fss.2021.02.004zbMath1522.18011OpenAlexW3129024704MaRDI QIDQ6081542
No author found.
Publication date: 26 October 2023
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2021.02.004
categorytopologyEilenberg-Moore algebra\(L\)-topologyopen filter monad\(L\)-continuous lattice\(L\)-Scott topology
Continuous lattices and posets, applications (06B35) Eilenberg-Moore and Kleisli constructions for monads (18C20) Frames and locales, pointfree topology, Stone duality (18F70)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
- Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets
- Closedness of the category of liminf complete fuzzy orders
- A note on specialization \(L\)-preorder of \(L\)-topological spaces, \(L\)-fuzzifying topological spaces, and \(L\)-fuzzy topological spaces
- Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets
- The meet-continuity of \(L\)-semilattices
- Join-completions of \(L\)-ordered sets
- A comparative study of ideals in fuzzy orders
- Two Cartesian closed subcategories of fuzzy domains
- Continuity in quantitative domains
- Yoneda completeness and flat completeness of ordered fuzzy sets
- A non-frame valued Cartesian closed category of liminf complete fuzzy orders
- Complete and directed complete \(\Omega \)-categories
- Filter Monads, Continuous Lattices and Closure Systems
- Compact Hausdorff objects
- Continuous Lattices and Domains
- A New Approach to Quantitative Domain Theory
- The category of algebraic fuzzy closure L-systems on fuzzy complete lattices
- Relational algebras
This page was built for publication: Algebraic representation of frame-valued continuous lattices via the open filter monad
