Coalgebraic representations of distributive lattices with operators

DOI10.1016/J.TOPOL.2005.10.010zbMATH Open1108.06005OpenAlexW2017439629MaRDI QIDQ869666FDOQ869666

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

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

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)

Cites Work

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

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
• 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

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)