Monoidal Extended Stone Duality
Pages 144 - 165
Abstract
Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental for proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions, subsuming various incarnations of classical extended Stone and Priestley duality as a special case. Guided by these categorical foundations, we investigate residuation algebras, which are algebraic models of language derivatives, and show the subcategory of derivation algebras to be dually equivalent to the category of profinite ordered monoids, restricting to a duality between boolean residuation algebras and profinite monoids. We further extend this duality to capture relational morphisms of profinite ordered monoids, which dualize to natural morphisms of residuation algebras.
References
[1]
Bezhanishvili, G., Harding, J., Morandi, P.: Remarks on hyperspaces for priestley spaces. Theoretical Computer Science 943, 187–202 (2023).
[2]
Bezhanishvili, N., Fontaine, G., Venema, Y.: Vietoris bisimulations. J. Log. Comput. 20(5), 1017–1040 (2010).
[3]
Birkhoff, G.: Rings of sets. Duke Mathematical Journal 3, 443–454 (1937)
[4]
Birkmann, F., Milius, S., Urbat, H.: Nominal topology for data languages. In: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany. LIPIcs, vol. 261, pp. 114:1–114:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023).
[5]
Birkmann, F., Urbat, H., Milius, S.: Monoidal extended stone duality (2024), https://arxiv.org/abs/2401.08219
[6]
Bonsangue, M., Kurz, A., Rewitzky, I.: Coalgebraic representations of distributive lattices with operators. Topology and its Applications 154(4), 778–791 (2007).
[7]
Cignoli, R., Lafalce, S., Petrovich, A.: Remarks on priestley duality for distributive lattices. Order 8(3), 299–315 (1991).
[8]
Eilenberg, S.: Automata, Languages, and Machines, vol. 2. Academic Press, New York (1976)
[9]
Fraser, G.A.: The semilattice tensor product of distributive lattices. Transactions of the American Mathematical Society 217, 183–194 (1976).
[10]
Fussner, W., Palmigiano, A.: Residuation algebras with functional duals. Algebra universalis 80(4), 40 (2019).
[11]
Gehrke, M., Priestley, H.: Canonical extensions of double quasioperator algebras: An algebraic perspective on duality for certain algebras with binary operations. Journal of Pure and Applied Algebra 209(1), 269–290 (2007).
[12]
Gehrke, M.: Stone duality and the recognisable languages over an algebra. In: Algebra and Coalgebra in Computer Science. pp. 236–250. Springer Berlin Heidelberg (2009).
[13]
Gehrke, M.: Duality in computer science. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS ’16, New York, NY, USA, July 5-8, 2016. pp. 12–26. ACM (2016).
[14]
Gehrke, M.: Stone duality, topological algebra, and recognition. Journal of Pure and Applied Algebra 220(7), 2711–2747 (2016).
[15]
Gehrke, M., Grigorieff, S., Pin, J.É.: Duality and equational theory of regular languages. In: Automata, Languages and Programming. pp. 246–257. Springer Berlin Heidelberg, Berlin, Heidelberg (2008).
[16]
Goldblatt, R.: Varieties of complex algebras. Annals of Pure and Applied Logic 44(3), 173–242 (1989).
[17]
Halmos, P.R.: Algebraic logic, i. monadic boolean algebras. Journal of Symbolic Logic 23(2), 219–222 (1958).
[18]
Hofmann, D., Nora, P.: Dualities for modal algebras from the point of view of triples. Algebra universalis 73(3), 297–320 (2015).
[19]
Hofmann, K., Mislove, M., Stralka, A.: The Pontryagin Duality of Compact 0-dimensional Semilattices and Its Applications. Lecture notes in mathematics, Springer-Verlag (1974)
[20]
Johnstone, P.: Stone Spaces. Cambridge Studies in Advanced Mathematics, Cambridge University Press (1982)
[21]
Jónsson, B., Tarski, A.: Boolean algebras with operators. part i. American Journal of Mathematics 73(4), 891–939 (1951)
[22]
Jónsson, B., Tarski, A.: Boolean algebras with operators. American Journal of Mathematics 74(1), 127–162 (1952)
[23]
Jónsson, B., Tsinakis, C.: Relation algebras as residuated boolean algebras. Algebra Universalis 30(4), 469–478 (1993).
[24]
Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theoretical Computer Science 327(1), 109–134 (2004).
[25]
MacLane, S.: Categories for the Working Mathematician. Springer-Verlag (1971)
[26]
Pin, J.: Relational morphisms, transductions and operations on languages. In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings. Lecture Notes in Computer Science, vol. 386, pp. 34–55. Springer (1988).
[27]
Pippenger, N.: Regular languages and Stone duality. Theory Comput. Syst. 30(2), 121–134 (1997).
[28]
Priestley, H.A.: Representation of distributive lattices by means of ordered stone spaces. Bulletin of The London Mathematical Society 2, 186–190 (1970).
[29]
Rhodes, J., Steinberg, B.: The q-theory of Finite Semigroups. Springer Monographs in Mathematics, Springer US (2009).
[30]
Salamanca, J.: Unveiling eilenberg-type correspondences: Birkhoff’s theorem for (finite) algebras + duality. CoRR (2017)
[31]
Sambin, G., Vaccaro, V.: Topology and duality in modal logic. Annals of Pure and Applied Logic 37(3), 249–296 (1988).
[32]
Schwede, S., Shipley, B.: Equivalences of monoidal model categories. Algebraic and Geometric Topology 3 (10 2002).
[33]
Seal, G.J.: Tensors, monads and actions. Theory and Applications of Categories 28(15), 70–71 (1953)
[34]
Stone, M.H.: The theory of representation for boolean algebras. Transactions of the American Mathematical Society 40(1), 37–111 (1936)
[35]
Uramoto, T.: Semi-galois categories i: The classical eilenberg variety theory. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. p. 545-554. LICS ’16, Association for Computing Machinery (2016).
[36]
Urbat, H., Adámek, J., Chen, L., Milius, S.: Eilenberg theorems for free. In: MFCS 2017. LIPIcs, vol. 83, pp. 43:1–43:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
Recommendations
Loomis--Sikorski theorem and Stone duality for effect algebras with internal state
Recently Flaminio and Montagna extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis-Sikorski Theorem for monotone @s-...
Stone-Type Representations and Dualities for Varieties of Bisemilattices
In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes' representation theorem to bounded, De Morgan, ...
Duality in Computer Science
LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer ScienceThis is a paper on Stone duality in computer science with special focus on topics with applications in formal language theory. In Section 2 we give a general overview of Stone duality in its various forms: for Boolean algebras, distributive lattices, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Apr 2024
289 pages
© The Author(s) 2024.
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 06 April 2024
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Jan 2025