homomorphism_equivalence (419B)
1 # Homomorphism equivalence 2 3 A and B are homomorphically equivalent if there is a [homomorphism] from A to B and a [homomorphism] from B to A 4 5 It is an [equivalence_relation]: [transitivity] is because the [composition] of two [homomorphisms] is a [homomorphism] 6 7 Up: [homomorphism], [equivalence] 8 9 See also: [minimization_conjunctive_query], [bisimulation] 10 11 Aliases: homomorphic equivalence, homomorphically equivalent