We study relational structures (especially graphs and posets) which satisfy the analogue of homogeneity but for homomorphisms rather than isomorphisms. The picture is rather different. Our main results are partial characterisations of countable graphs and posets with this property; an analogue of Fraı̈ssé’s Theorem; and representations of monoids as endomorphism monoids of such structures. ∗This...

For digraphs D and H, a mapping f : V (D)→V (H) is a homomorphism of D to H if uv ∈ A(D) implies f(u)f(v) ∈ A(H). Let H be a fixed directed or undirected graph. The homomorphism problem for H asks whether a directed or undirected graph input digraph D admits a homomorphism to H. The list homomorphism problem for H is a generalization of the homomorphism problem for H, where every vertex x ∈ V (...

We answer two open questions posed by Cameron and Nesetril concerning homomorphismhomogeneous graphs. In particular we show, by giving a characterization of these graphs, that extendability to monomorphism or to homomorphism leads to the same class of graphs when defining homomorphism-homogeneity. Further we show that there are homomorphism-homogeneous graphs that do not contain the Rado graph ...

Let G and G' be multiplicative systems. A half-homomorphism of G into G' will mean a mapping a—>a' of G into C such that for all a, bEG, (ab)'=a'V or b'a'. An anti-homomorphism is a mapping such that always (ab)' = b'a'. The terms half-isomorphism, etc., are defined similarly. It will be shown that any half-homomorphism of a group G into a group G' is either a homomorphism or an anti-homomorphi...

For digraphs D and H , a mapping f : V (D)→V (H) is a homomorphism of D to H if uv ∈ A(D) implies f(u)f(v) ∈ A(H). For a fixed digraph H , the homomorphism problem is to decide whether an input digraph D admits a homomorphism to H or not, and is denoted as HOM(H). An optimization version of the homomorphism problem was motivated by a realworld problem in defence logistics and was introduced in ...