Stone duality for relations
type: Item
instance of: scholarly article
title: Stone duality for relations
DOI: 10.1007/978-3-031-24117-8_5
author: Alexander Kurz
author: Andrew Moshier
author: Achim Jung
publication date: 2024-10-01T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 81P68
zbMATH DE Number: 7920678
MaRDI profile type: Publication
cites work: Domain theory in logical form
cites work: Relating Structure and Power: Comonadic Semantics for Computational Resources
cites work: Q5144676
cites work: Bisimulation for Weakly Expressive Coalgebraic Modal Logics.
cites work: Q4173540
cites work: Relational algebras
cites work: Relation Liftings on Preorders and Posets
cites work: Relation lifting, with an application to the many-valued cover modality
cites work: P-varieties - a signature independent characterization of varieties of ordered algebras
cites work: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
cites work: Q4304740
cites work: Two-dimensional regularity and exactness
cites work: Regular and exact completions
cites work: Q4220406
cites work: Q4580204
cites work: Q4530231
cites work: Q5104711
cites work: Stochastic Relations
cites work: Canonical extensions and relational completeness of some substructural logics
cites work: Q3995720
cites work: The structure of generalized BI-algebras and weakening relation algebras
cites work: Lex colimits
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Higher Dimensional Categories
cites work: Q4933938
cites work: Q4652984
cites work: Q3958647
cites work: Approaching metric domains
cites work: Neighbourhood Structures: Bisimilarity and Basic Model Theory
cites work: A categorical outlook on relational modalities and simulations
cites work: Structural induction and coinduction in a fibrational setting
cites work: The Pontryagin duality of compact O-dimensional semilattices and its applications
cites work: Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
cites work: Q3965241
cites work: Boolean Algebras with Operators
cites work: Q4373424
cites work: Q4265614
cites work: Q3934579
cites work: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
cites work: Relation lifting, a survey
cites work: Quasivarieties and varieties of ordered algebras: regularity and exactness
cites work: Q4226769
cites work: Q5639839
cites work: Metric spaces, generalized logic, and closed categories
cites work: On the relationship between compact regularity and Gentzen's cut rule
cites work: Coalgebraic logic
cites work: Q3619416
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces
cites work: Elements of generalized ultrametric domain theory
cites work: Q4222961
cites work: Data Types as Lattices
cites work: Framed bicategories and monoidal fibrations
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Stable Compactification I
cites work: Topological representations of distributive lattices and Brouwerian logics
cites work: A partially ordered space which is not a Priestley space
cites work: Q3876103
cites work: Q4092156
cites work: Two-dimensional sheaf theory
cites work: Towards ``dynamic domains'': totally continuous cocomplete \(\mathcal Q\)-categories
cites work: Q3900996
cites work: Quantitative continuous domains
description: scientific article; zbMATH DE number 7920678