Universal homomorphisms, universal structures, and the polymorphism clones of homogeneous structures

Christian Pech, Maja Pech

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…