Coalgebraic representations of distributive lattices with operators

DOI10.1016/J.TOPOL.2005.10.010MaRDI QIDQ869666zbMATH OpenOpenAlexFDO

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

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

distributive latticesspectral spacescoalgebrasStone dualitymonotone operators

Mathematics Subject Classification ID

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

Recommendations

• Notes on the representation of distributive modal algebras
• scientific article; zbMATH DE number 613279
• Stone coalgebras
• Stone's representation theorem in fuzzy topology
• The lattice of distributive closure operators over an algebra

Cites work

• scientific article; zbMATH DE number 4045109 (Why is no real title available?)
• scientific article; zbMATH DE number 3673159 (Why is no real title available?)
• scientific article; zbMATH DE number 3726420 (Why is no real title available?)
• scientific article; zbMATH DE number 3769855 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• A coalgebraic perspective on monotone modal logic
• A coalgebraic view on positive modal logic
• A universal characterization of the double powerlocale
• Algebraic semantics for coalgebraic logics
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Bounded distributive lattice expansions
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Domain theory in logical form
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Fibrations and partial products in a 2-category
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computational Structures
• From modal logic to terminal coalgebras
• Harsanyi type spaces and final coalgebras constructed from satisfied theories
• Initial Algebra Semantics and Continuous Algebras
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Monotone bounded distributive lattice expansions
• On powerdomains and modality
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Stone coalgebras
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics
• Topologies on Spaces of Subsets
• Universal coalgebra: A theory of systems
• Varieties of complex algebras

Cited in

(11)

• Dualities for modal algebras from the point of view of triples
• Operations and equations for coalgebras
• Enriched Stone-type dualities
• On coatoms and complements in congruence lattices of unars with Mal'tsev operation
• On congruence-coherent Rees algebras and algebras with an operator
• Monoidal extended stone duality
• The enriched Vietoris monad on representable spaces
• Remarks on hyperspaces for Priestley 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

This page was built for publication: Coalgebraic representations of distributive lattices with operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q869666)