A Categorical Notion of Precompact Expansion

英文摘要：

We generalize the notion of relational precompact expansions of Fraïssé classes via functorial means, inspired by the technique outlined by Laflamme, Nguyen Van Thé and Sauer in their paper Partition properties of the dense local order and a colored version of Milliken's theorem arXiv:0710.2885. We also generalize the expansion property and prove that categorical precompact expansions grant upper bounds for Ramsey degrees. Moreover, we show under strict conditions, we can also compute big Ramsey degrees. We also apply our methodology to calculate the big and little Ramsey degrees of the objects in Age$(\mathbf{S}(n))$ for all $n\geq 2$.