A Categorical Notion of Precompact Expansion

26 Feb 2020 Barbosa Keegan Dasilva

We generalize the notion of relational precompact expansions of Fra\"iss\'e classes via functorial means, inspired by the technique outlined by Laflamme, Nguyen Van Th\'e 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... (read more)

PDF Abstract
No code implementations yet. Submit your code now