Coalgebraic representations of distributive lattices with operators

DOI10.1016/j.topol.2005.10.010zbMath1108.06005OpenAlexW2017439629MaRDI QIDQ869666

I. M. Rewitzky, Alexander Kurz, Marcello M. Bonsangue

Publication date: 8 March 2007

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2005.10.010

zbMATH Keywords

coalgebrasdistributive latticesStone dualitymonotone operatorsspectral spaces

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Enriched Stone-type dualities ⋮ Remarks on hyperspaces for Priestley spaces ⋮ О КОНГРУЭНЦ–КОГЕРЕНТНЫХ АЛГЕБРАХ РИСА И АЛГЕБРАХ С ОПЕРАТОРОМ ⋮ The enriched Vietoris monad on representable spaces ⋮ Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces ⋮ О КОНГРУЭНЦ–КОГЕРЕНТНЫХ АЛГЕБРАХ РИСА И АЛГЕБРАХ С ОПЕРАТОРОМ ⋮ Duality theory for enriched Priestley spaces ⋮ Limits in categories of Vietoris coalgebras ⋮ Dualities for modal algebras from the point of view of triples

Cites Work

• Stone coalgebras
• A coalgebraic view on positive modal logic
• On powerdomains and modality
• Domain theory in logical form
• Fibrations and partial products in a 2-category
• A universal characterization of the double powerlocale
• Universal coalgebra: A theory of systems
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Varieties of complex algebras
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Initial Algebra Semantics and Continuous Algebras
• Bounded distributive lattice expansions
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Foundations of Software Science and Computational Structures
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics
• Topologies on Spaces of Subsets
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Foundations of Software Science and Computation Structures
• From modal logic to terminal coalgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item