Stone duality for relations
From MaRDI portal
Publication:6612781
DOI10.1007/978-3-031-24117-8_5MaRDI QIDQ6612781
Andrew Moshier, Alexander Kurz, Achim Jung
Publication date: 1 October 2024
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relation lifting, a survey
- Approaching metric domains
- Lex colimits
- Elements of generalized ultrametric domain theory
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- A categorical outlook on relational modalities and simulations
- The structure of generalized BI-algebras and weakening relation algebras
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- P-varieties - a signature independent characterization of varieties of ordered algebras
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- A partially ordered space which is not a Priestley space
- Two-dimensional sheaf theory
- Domain theory in logical form
- Structural induction and coinduction in a fibrational setting
- Coalgebraic logic
- Regular and exact completions
- On the relationship between compact regularity and Gentzen's cut rule
- Quantitative continuous domains
- The Pontryagin duality of compact O-dimensional semilattices and its applications
- Two-dimensional regularity and exactness
- Relation lifting, with an application to the many-valued cover modality
- Relation Liftings on Preorders and Posets
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Framed bicategories and monoidal fibrations
- The Category-Theoretic Solution of Recursive Domain Equations
- Stable Compactification I
- Metric spaces, generalized logic, and closed categories
- Data Types as Lattices
- Initial Algebra Semantics and Continuous Algebras
- Bisimulation for Weakly Expressive Coalgebraic Modal Logics.
- Relating Structure and Power: Comonadic Semantics for Computational Resources
- Higher Dimensional Categories
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
- Stochastic Relations
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Relational algebras
- Canonical extensions and relational completeness of some substructural logics
- Topological representations of distributive lattices and Brouwerian logics
- Boolean Algebras with Operators
This page was built for publication: Stone duality for relations
