homomorphism (554B)
1 # Homomorphism 2 3 A [function] from a [structure] A to a [structure] B on the same [relational_signature] is a [homomorphism] if, for every [tuple] t in A for some [relation] R, the image of t by the function is also a [tuple] in B for R 4 5 On specific structures: 6 7 - [graph_homomorphism] 8 9 Notions: 10 11 - [homomorphism_closed] 12 - [homomorphism_equivalence] 13 - [homomorphism_count] 14 15 [Computational_problem]: [homomorphism_problem] 16 17 Variants: [homomorphism_variants] 18 19 Up: [mathematics] 20 21 See also: [core], [retraction_minimum_violation] 22 23 Aliases: homomorphisms, hom