Abstract
In this paper we provide purely categorical proofs of two important results of structural Ramsey theory: the result of M. Sokić that the free product of Ramsey classes is a Ramsey class, and the result of M. Bodirsky, M. Pinsker and T. Tsankov that adding constants to the language of a Ramsey class preserves the Ramsey property. The proofs that we present here ignore the model-theoretic background of these statements. Instead, they focus on categorical constructions by which the classes can be constructed generalizing the original statements along the way. It turns out that the restriction to classes of relational structures, although fundamental for the original proof strategies, is not relevant for the statements themselves. The categorical proofs we present here remove all restrictions on the signature of first-order structures and provide the information not only about the Ramsey property but also about the Ramsey degrees.
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.
Change history
12 June 2023
A Correction to this paper has been published: https://doi.org/10.1007/s10485-023-09730-3
References
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats. Dover Books on Mathematics, Dover Publications, Mineola (2009)
Bodirsky, M.: New Ramsey classes from old. Electron. J. Comb. 21(2), #P2.22 (2014)
Bodirsky, M.: Ramsey classes: examples and constructions. In: Czumaj, A., et al. (eds.) Surveys in Combinatorics 2015, pp. 1–48. Cambridge University Press, Cambridge (2015)
Bodirsky, M., Pinsker, M., Tsankov, T.: Decidability of definability. J. Sumbolic Logic 78, 1036–1054 (2013)
J. Böttcher, J. Foniok. Ramsey properties of permutations. Electron. J. Comb. 20(1), #P2 (2013)
Cameron, P. J.: Homogeneous permutations. Electron. J. Comb. 9(2), #R2, 9pp (2002)
Lehtonen, E.: Reconstructing permutations from identification minors. Electron. J. Comb. 22(4), #P4.20, (2015)
Fouché, W.L.: Symmetry and the Ramsey degree of posets. Discrete Math. 167(168), 309–315 (1997)
Fouché, W.L.: Symmetries in Ramsey theory. East-West J. Math. 1, 43–60 (1998)
Fouché, W.L.: Symmetry and the Ramsey degrees of finite relational structures. J. Comb. Theory Ser. A 85, 135–147 (1999)
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)
Graham, R.L., Rothschild, B.L.: Ramsey’s theorem for n-parameter sets. Tran. Amer. Math. Soc. 159, 257–292 (1971)
Graham, R.L., Rothschild, B.L., Spencer, J.H.: Ramsey Theory, 2nd edn. John Wiley & Sons, New York (1990)
Kechris, A.S., Pestov, V.G., Todorčević, S.: Fraïssé limits, Ramsey theory and topological dynamics of automorphism groups. Geom. Funct. Anal. 15, 106–189 (2005)
Leeb, K.: The categories of combinatorics. In: Combinatorial Structures and their Applications. Gordon and Breach, New York (1970)
Leeb, K.: Vorlesungen über Pascaltheorie. Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung, Band 6, Nummer 7, Firedrich Alexander Universität, Erlangen, (1973)
Mašulović, D.: A dual Ramsey theorem for permutations. Electron. J. Comb. 24(3) (2017), #P3.39
Mašulović, D.: The Kechris–Pestov–Todorčević correspondence from the point of view of category theory. Appl. Categ. Struct. 29, 141–169 (2021)
Mašulović, D., Scow, L.: Categorical equivalence and the Ramsey property for finite powers of a primal algebra. Algebra Univ. 78, 159–179 (2017)
Müller, M., Pongrácz, A.: Topological dynamics of unordered Ramsey structures. Fund. Math. 230, 77–98 (2015)
Nešetřil, J.: Ramsey classes and homogeneous structures. Comb. Probab. Comput. 14, 171–189 (2005)
Nešetřil, J., Rödl, V.: Partitions of finite relational and set systems. J. Combin. Theory Ser. A 22, 289–312 (1977)
Nguyen Van Thé, L.: More on the Kechris–Pestov–Todorcevic correspondence: precompact expansions. Fund. Math. 222, 19–47 (2013)
Ramsey, F.P.: On a problem of formal logic. Proc. London Math. Soc. 30, 264–286 (1930)
Sokić, M.: Ramsey properties of finite posets II. Order 29, 31–47 (2012)
Sokić, M.: Directed graphs and boron trees. J. Comb. Theory Series A 132, 142–171 (2015)
Zucker, A.: Topological dynamics of automorphism groups, ultrafilter combinatorics and the Generic Point Problem. Trans. Amer. Math. Soc. 368, 6715–6740 (2016)
Funding
This work was supported by the Science Fund of the Republic of Serbia, Grant No. 7750027: Set-theoretic, model-theoretic and Ramsey-theoretic phenomena in mathematical structures: similarity and diversity – SMART.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing Interests
The author declares no conflict of interest.
Additional information
Communicated by Thomas Streicher.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this article was revised: The citation of the reference, M. Bodirsky, M. Pinsker and T. Tsankov which was incorrect in the original version has been corrected in the Abstract and Introduction sections.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Mašulović, D. Ramsey Properties of Products and Pullbacks of Categories and the Grothendieck Construction. Appl Categor Struct 31, 6 (2023). https://doi.org/10.1007/s10485-022-09700-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10485-022-09700-1