Abstract
The Kechris–Pestov–Todorčević correspondence (KPT-correspondence for short) is a surprising correspondence between model theory, combinatorics and topological dynamics. In this paper we present a categorical re-interpretation of (a part of) the KPT-correspondence with the aim of proving a dual statement. Our strategy is to take a “direct” result and then analyze the necessary infrastructure that makes the result true by providing a purely categorical proof of the categorical version of the result. We can then capitalize on the Duality Principle to obtain the dual statements almost for free. We believe that the dual version of the KPT-correspondence can not only provide the new insights into the interplay of combinatorial, model-theoretic and topological phenomena this correspondence binds together, but also explores the limits to which categorical treatment of combinatorial phenomena can take us.
Similar content being viewed by others
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Bartošová, D.: Universal minimal flows of groups of automorphisms of uncountable structures. Canadian Mathematical Bulletin (2012)
Bartošová, D.: More universal minimal flows of groups of automorphisms of uncountable structures. Asymptotic geometric analysis. In: Ludwig, M., Milman, V., Pestov, V., Tomczak-Jaegermann, N. (eds.)Proceedings of the Fall 2010 Fields Institute Thematic Program, vol. 68. Fields Institute Communications Springer (2013)
Barbosa, K. Dasilva: A categorical notion of precompact expansions. Preprint (arXiv:2002.11751)
Ferenczi, L., Lopez-Abad, J., Mbombo, B., Todorcevic, S.: Amalgamation and Ramsey properties of \(L_p\) spaces. Preprint (arXiv:1903.05504)
Graham, R.L., Leeb, K., Rothschild, B.L.: Ramsey’s theorem for a class of categories. Adv. Math. 8, 417–443 (1972). errata 10, 326–327 (1973)
Irwin, T., Solecki, S.: Projective Fraïssé limits and the pseudo-arc. Trans. Am. Math. Soc. 358(7), 3077–3096 (2006)
Kechris, A.S., Pestov, V.G., Todorčević, S.: Fraïssé limits, Ramsey theory and topological dynamics of automorphism groups. GAFA Geom. Funct. Anal. 15, 106–189 (2005)
Krupiński, K., Pillay, A.: On the topological dynamics of automorphism groups, a model-theoretic perspective. Preprint arXiv:1909.13285
Leeb, K.: The Categories of Combinatorics. Combinatorial Structures and Their Applications. Gordon and Breach, New York (1970)
Mašulović, D., Scow, L.: Categorical equivalence and the Ramsey property for finite powers of a primal algebra. Algebra Universalis 78, 159–179 (2017)
Müller, M., Pongrácz, A.: Topological dynamics of unordered Ramsey structures. Fund. Math. 230, 77–98 (2015)
Nguyen, L., Thé, V.: More on the Kechris–Pestov–Todorcevic correspondence: precompact expansions. Fund. Math. 222, 19–47 (2013)
Nguyen, L., Thé, V.: Finite Ramsey degrees and Fraïssé expansions with the Ramsey property. Preprint available as arXiv:1705.10582
Pestov, V.G.: On free actions, minimal flows and a problem by Ellis. Trans. Am. Math. Soc. 350, 4149–4165 (1998)
Prömel, H.J., Voigt, B.: Hereditary attributes of surjections and parameter sets. Eur. J. Combin. 7, 161–170 (1986)
Zucker, A.: Topological dynamics of automorphism groups, ultrafilter combinatorics, and the generic point problem. Trans. Am. Math. Soc. 368, 6715–6740 (2016)
Acknowledgements
The author gratefully acknowledges the financial support of the Ministry of Education, Science and Technological Development of the Republic of Serbia (Grant No. 451-03-68/2020-14/200125).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Thomas Streicher.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Mašulović, D. The Kechris–Pestov–Todorčević Correspondence from the Point of View of Category Theory. Appl Categor Struct 29, 141–169 (2021). https://doi.org/10.1007/s10485-020-09611-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-020-09611-z