Stone duality for relations
From MaRDI portal
Cites work
- A categorical outlook on relational modalities and simulations
- A partially ordered space which is not a Priestley space
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Approaching metric domains
- Bisimulation for weakly expressive coalgebraic modal logics
- Boolean Algebras with Operators
- Canonical extensions and relational completeness of some substructural logics
- Coalgebraic logic
- Data Types as Lattices
- Domain theory in logical form
- Elements of generalized ultrametric domain theory
- Framed bicategories and monoidal fibrations
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Higher dimensional categories. From double to multiple categories
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3709585 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3779585 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 45228 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 3608258 (Why is no real title available?)
- scientific article; zbMATH DE number 1226180 (Why is no real title available?)
- scientific article; zbMATH DE number 1231637 (Why is no real title available?)
- scientific article; zbMATH DE number 1247371 (Why is no real title available?)
- scientific article; zbMATH DE number 1339952 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1107502 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 6917170 (Why is no real title available?)
- scientific article; zbMATH DE number 2139647 (Why is no real title available?)
- scientific article; zbMATH DE number 1389226 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Initial Algebra Semantics and Continuous Algebras
- Labelled Markov processes.
- Lex colimits
- Logic-induced bisimulations
- Metric spaces, generalized logic, and closed categories
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- On the relationship between compact regularity and Gentzen's cut rule
- P-varieties - a signature independent characterization of varieties of ordered algebras
- Quantitative continuous domains
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Regular and exact completions
- Relating structure and power: comonadic semantics for computational resources
- Relation algebras, idempotent semirings and generalized bunched implication algebras
- Relation lifting, a survey
- Relation lifting, with an application to the many-valued cover modality
- Relation liftings on preorders and posets
- Relational algebras
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Stable Compactification I
- Stochastic Relations
- Structural induction and coinduction in a fibrational setting
- The Category-Theoretic Solution of Recursive Domain Equations
- The pebbling comonad in finite model theory
- The Pontryagin duality of compact O-dimensional semilattices and its applications
- The structure of generalized BI-algebras and weakening relation algebras
- Topological representations of distributive lattices and Brouwerian logics
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Two-dimensional regularity and exactness
- Two-dimensional sheaf theory
This page was built for publication: Stone duality for relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612781)
