Extended Stone duality via monoidal adjunctions

DOI10.46298/LMCS-21(4:4)2025MaRDI QIDQ6858453zbMATH OpenFDO

Authors Fabian Lenke, Henning Urbat, Stefan Milius

Publication date 13 February 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license File:Creative commons license with attribution.png Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(4:4)2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• Catoids and modal convolution algebras
• Coalgebraic representations of distributive lattices with operators
• Domain theory in logical form
• Dualities for modal algebras from the point of view of triples
• Duality and Equational Theory of Regular Languages
• Duality in computer science
• Eilenberg Theorems for Free
• Equational axiomatization of algebras with structure
• Equivalences of monoidal model categories
• From Kleisli categories to commutative C^*-algebras: probabilistic Gelfand duality
• Function systems
• scientific article; zbMATH DE number 3724720 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• scientific article; zbMATH DE number 7350772 (Why is no real title available?)
• scientific article; zbMATH DE number 7471716 (Why is no real title available?)
• Modal logic
• Modal logic and the Vietoris functor
• Monoidal extended stone duality
• Nominal topology for data languages
• On tree coalgebras and coalgebra presentations
• Profinite groups.
• Recognisable languages over monads
• Regular languages and Stone duality
• Reiterman’s Theorem on Finite Algebras for a Monad
• Relation algebras as residuated Boolean algebras
• Remarks on hyperspaces for Priestley spaces
• Remarks on Priestley duality for distributive lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Residuation algebras with functional duals
• Rings of sets.
• Semi-Galois categories. I: The classical Eilenberg variety theory
• Stone coalgebras
• Stone duality and the recognisable languages over an algebra
• Stone duality, topological algebra, and recognition.
• The \(\mathfrak q\)-theory of finite semigroups.
• The Pontryagin duality of compact O-dimensional semilattices and its applications
• The Semilattice Tensor Product of Distributive Lattices
• The theory of representations for Boolean algebras.
• Theme and variations on the concatenation product
• Topological Duality for Distributive Lattices
• Topology and duality in modal logic
• Varieties of complex algebras
• Vietoris bisimulations

This page was built for publication: Extended Stone duality via monoidal adjunctions

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