2022/08/15 by Dragan Mašulović, Mašulović, Dragan, Andy Zucker +1
Computer Science · Mathematics · #05C55 #18A35 #Advanced Topology and Set Theory #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2208.07351
openalex publication_date 2022/08/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Under no additional assumptions, in this paper we construct a Ramsey expansion for every category of finite objects with finite small Ramsey degrees. Our construction is based on the relationship between small Ramsey degrees, weak amalgamation and recent results about weak Fraïssé categories. Namely, generalizing the fact that every Ramsey class has amalgamation, we show that classes with finite Ramsey degrees have weak amalgamation. We then invoke the machinery of weak Fraïssé categories to perform the construction. This improves previous similar results where an analogous construction was carried out under the assumption that everything sits comfortably in a bigger class with enough infrastructure, and that in this wider context there is an ultrahomogeneous structure under whose umbrella the construction takes place.