Ramsey theory is a branch of mathematics that studies the idea that any large enough structure must contain some highly organized substructure. A classic example is the fact that if you color the integers with finitely many colors, you can always find a large subset where the coloring behaves in a perfectly regular, predictable way. The object at the center of this paper, called FIN\_2, is a rich mathematical space whose elements are certain infinite combinatorial structures built from finite sets. The authors work in a setting where "large" is defined topologically rather than just by size, and they study how arbitrary functions defined on this space behave when you restrict attention to a sufficiently large subspace.
The central concept is canonization. When you have a function that assigns labels or values to elements of a combinatorial structure, canonization asks: can you always find a large subspace on which the function behaves in one of a small, explicitly listed "canonical" ways? This generalizes classical results going back to Erdos and Rado, and subsequent work by Pudlak, Rodl, Promel, Voigt, and others. The authors answer a question posed by Todorcevic by identifying exactly which canonical behaviors are possible on FIN\_2, including on finite-dimensional versions of the space. They also work out a precise formula counting how many canonical functions exist at each dimension, which is a concrete and satisfying structural result.
To achieve this, the authors develop a significant technical extension of a method called the separating-mixing technique, originally introduced by Promel and Voigt. This lets them handle arbitrary functions, not just well-behaved ones, by systematically decomposing complicated behavior into canonical pieces. They also push the results further to cover functions taking values in any Polish space, a broad class of topological spaces that includes the real numbers, which opens the results up to applications in descriptive set theory and functional analysis. Overall, the paper provides a thorough and complete structural picture of equivalence relations on this important combinatorial space.