homomorphism (605B)
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 - [homomorphic_image] 15 16 [Computational_problem]: [homomorphism_problem] 17 18 Variants: [homomorphism_variants] 19 20 Up: [mathematics] 21 22 See also: [core], [retraction_minimum_violation], [homomorphism_closed_query] 23 24 Aliases: homomorphisms, hom