Mathematics – Combinatorics
Scientific paper
2009-07-23
Mathematics
Combinatorics
17 pages, 3 figures
Scientific paper
We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts and expansions). Particularly, extending earlier results, we prove that for every countable set F of finite structures there exists a (countably) universal structure U for the class Forb (F) (of all countable structures omitting a homomorphism from all members of F). In fact U is the shadow (reduct) of an ultrahomogeneous structure U' (which however, as we will show, cannot be expressed as Forb(F) for a countable set F; this is in a sharp contrast to the case when F is finite). We also put the results of this paper, perhaps for the first time, in the context of homomorphism dualities and Constraint Satisfaction Problems.
Hubicka Jan
Nesetril Jaroslav
No associations
LandOfFree
On characteristics of homomorphism and embedding universal graphs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On characteristics of homomorphism and embedding universal graphs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On characteristics of homomorphism and embedding universal graphs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-355141