[Paper Review] Categorical Constructions and the Ramsey Property

Dragan Mašulović, Lynn Scow|arXiv (Cornell University)|Jun 2, 2015

Advanced Topology and Set Theory18 references3 citations

TL;DR

This paper establishes that the Ramsey property and its dual are invariant under categorical equivalence and adjunctions in categories of finite structures, using elementary category theory to generalize combinatorial results and derive new Ramsey-type theorems without referencing category theory in their formulations. The key contribution is proving the Ramsey property is a genuine categorical invariant via categorical equivalence.

ABSTRACT

It has become obvious in the recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this paper we explicitely put the Ramsey property and the dual Ramsey property in the context of categories of finite structures and investigate the invariance of these properties under some standard categorical constructions. We use elementary category theory to generalize some combinatorial results and using the machinery of very basic category theory provide new combinatorial statements (whose formulations do not refer to category-theoretic notions).

Motivation & Objective

• To formalize the Ramsey property and its dual within categories of finite structures, emphasizing the role of morphisms.
• To investigate how the Ramsey property behaves under adjunctions and categorical equivalences.
• To demonstrate that the Ramsey property is invariant under categorical equivalence, establishing it as a true categorical invariant.
• To derive new combinatorial Ramsey-type statements using basic category theory, with formulations independent of category-theoretic language.
• To generalize the product Ramsey theorem and show that finite products of Ramsey categories inherit the Ramsey property.

Proposed method

• Formalizing the Ramsey property in terms of morphisms and objects in categories of finite structures, using embeddings and surjective maps as morphisms.
• Applying adjunction theory to show that right adjoints preserve the Ramsey property for morphisms, and left adjoints preserve the dual Ramsey property.
• Using categorical equivalence to transfer Ramsey properties between equivalent categories, and duality to transfer to the dual property.
• Applying the theory to the well-known equivalence between Boolean algebras and primal algebras, deriving new Ramsey results in this context.
• Constructing a categorical product of categories and proving that if each factor has the Ramsey property, so does the product, via a generalized product Ramsey theorem.
• Extending Fraïssé theory and the KPT correspondence to languages with function symbols by encoding functions as relations, preserving compactness and topological dynamics.

Experimental results

Research questions

• RQ1 Does the Ramsey property depend only on the category of finite structures, including the choice of morphisms, rather than just the objects?
• RQ2 How do adjunctions affect the preservation of the Ramsey and dual Ramsey properties in categories of finite structures?
• RQ3 Is the Ramsey property invariant under categorical equivalence, and can this be used to transfer Ramsey results between equivalent categories?
• RQ4 Can the product of two categories with the Ramsey property inherit a combined Ramsey property, and what does this imply for finite product versions of Ramsey theorems?
• RQ5 How can the Kechris-Pestov-Todorčević correspondence and Fraïssé theory be adapted to first-order languages containing function symbols?

Key findings

• The Ramsey property is invariant under categorical equivalence, proving it is a genuine categorical invariant rather than a property of objects alone.
• Right adjoints preserve the Ramsey property for morphisms, and left adjoints preserve the dual Ramsey property for morphisms, though not necessarily for objects.
• If a category of finite structures has the Ramsey property, then any category categorically equivalent to it also has the same Ramsey property.
• The category of finite sets with surjective maps has the dual Ramsey property, and its finite products inherit this property, yielding a finite product version of the dual Ramsey theorem.
• For every category C with the (dual) Ramsey property, the product category C^n also has the (dual) Ramsey property, establishing a meta-theorem: every finite (dual) Ramsey theorem has a finite product generalization.
• The Kechris-Pestov-Todorčević correspondence extends to languages with function symbols by encoding function symbols as relation symbols, preserving the topological dynamics framework.