arXiv++ Combinatorics

Using a categorial version of Fraïssé's theorem due to Droste and Göbel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures and for ω-categorical universal structures. As a second application we characterize the retracts of a large class of homogeneous structures, extending previous results by Bonato, Delić, Dolinka, and Kubiś. As a third application we show for a large class of homogeneous structures that their polymorphism clone is generated by polymorphisms of bounded arity, generalizing a classical result by Sierpiński that the clone of all functions on a given set is generated by its binary part. Further we study the cofinality and the Bergman property for clones and we give sufficient conditions on a homogeneous structure to have a polymorphism clone that has uncountable cofinality and the Bergman property.