At the beginning of this paper, we said that decidability, set-oriented operations, and homomorphism were the three essential features of data models. |
An injective homomorphism is called monomorphism, a surjective homomorpism is called epimorphism and a bijective homomorphism is called isomorphism. |
In the same spirit, it should be said not that Z is contained in the field Q of rational numbers but only that the homomorphism Z → Q is one-to-one. |
There's a cheap assumption about whatever, call it a homomorphism between form and content. |
We characterize compositional interpretation as a homomorphism relating a syntactic source calculus and a target calculus for meaning assembly. |
The notions isomorphism and homomorphism can be defined with further widening on the systems. |