Stone Duality for Relations

We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and as a subobject of A times B. We show that dual adjunctions and equivalences between regular categories, taken in a suitably order enriched sense, extend to (framed bi)categories of relations.

[1]  Jan J. M. M. Rutten,et al.  Elements of Generalized Ultrametric Domain Theory , 1996, Theor. Comput. Sci..

[2]  Jan J. M. M. Rutten.  Relators and Metric Bisimulations , 1998, CMCS.

[3]  Richard Garner,et al.  Two-dimensional regularity and exactness , 2013, 1304.5275.

[4]  James Worrell,et al.  Coinduction for recursive data types: partial orders, metric spaces and Omega-categories , 2000, CMCS.

[5]  J. Wright,et al.  P-varieties - a signature independent characterization of varieties of ordered algebras , 1983 .

[6]  Dirk Hofmann,et al.  Approaching Metric Domains , 2013, Appl. Categorical Struct..

[7]  Pawel Waszkiewicz,et al.  Quantitative Continuous Domains , 2003, Appl. Categorical Struct..

[8]  G. M. Kelly,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.

[9]  Alexander Kurz,et al.  The Positivication of Coalgebraic Logics , 2018, CALCO.

[10]  Michael W. Mislove,et al.  The Pontryagin Duality of Compact O-Dimensional Semilattices and Its Applications , 1974 .

[11]  Bart Jacobs,et al.  Structural Induction and Coinduction in a Fibrational Setting , 1998, Inf. Comput..

[12]  Alexander Kurz,et al.  Relation lifting, a survey , 2016, J. Log. Algebraic Methods Program..

[13]  Peter Jipsen,et al.  Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras , 2017, RAMiCS.

[14]  Isar Stubbe.  Towards "dynamic domains": Totally continuous cocomplete Q-categories , 2007, Theor. Comput. Sci..

[15]  David M. Clark,et al.  Natural Dualities for the Working Algebraist , 1998 .

[16]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[17]  M. Andrew Moshier,et al.  On the relationship between compact regularity and Gentzen's cut rule , 2004, Theor. Comput. Sci..

[18]  Samson Abramsky,et al.  Domain Theory in Logical Form , 1991, LICS.

[19]  Ross Street,et al.  Two-dimensional sheaf theory , 1982 .

[20]  Joseph A. Goguen,et al.  Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[21]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[22]  Ross Street,et al.  Fibrations and Yoneda's lemma in a 2-category , 1974 .

[23]  M. B. Smyth,et al.  Stable compactification I , 1992 .

[24]  M. Andrew Moshier,et al.  Multi Lingual Sequent Calculus and Coherent Spaces , 1999, Fundam. Informaticae.

[25]  Ralph Kopperman,et al.  Papers on general topology and applications : eleventh summer conference at the University of Southern Maine , 1996 .

[26]  G. M. Kelly,et al.  Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads , 1993 .

[27]  Marcello M. Bonsangue,et al.  Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding , 1995, Theor. Comput. Sci..

[28]  Dana S. Scott,et al.  Outline of a Mathematical Theory of Computation , 1970 .

[29]  M. Stone.  Topological representations of distributive lattices and Brouwerian logics , 1938 .

[30]  P. Jipsen,et al.  The structure of generalized BI-algebras and weakening relation algebras , 2020, Algebra universalis.

[31]  Vera Trnková,et al.  General theory of relational automata , 1980, Fundam. Informaticae.

[32]  Albert Stralka.  A partially ordered space which is not a priestley space , 1980 .

[33]  A. Jung.  On the bitopological nature of Stone Duality , 2010 .

[34]  Prakash Panangaden,et al.  Labelled Markov Processes , 2009 .

[36]  Kim R. Wagner,et al.  Solving Recursive Domain Equations with Enriched Categories. , 1994 .

[37]  Claudio Hermida,et al.  A categorical outlook on relational modalities and simulations , 2011, Inf. Comput..

[38]  Ross Street,et al.  Fibrations in bicategories , 1980 .

[39]  Gordon D. Plotkin,et al.  The category-theoretic solution of recursive domain equations , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[40]  Michael Shulman,et al.  Framed bicategories and monoidal fibrations , 2007, 0706.1286.

[41]  Hilary A. Priestley,et al.  Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[42]  Alexander Kurz,et al.  Relation lifting, with an application to the many-valued cover modality , 2013, Log. Methods Comput. Sci..

[43]  Andre Scedrov,et al.  Categories, allegories , 1990, North-Holland mathematical library.

[44]  Alexander Kurz,et al.  Quasivarieties and varieties of ordered algebras: regularity and exactness † , 2016, Mathematical Structures in Computer Science.