What is monoid homomorphism exactly?

前端 未结 4 819
鱼传尺愫
鱼传尺愫 2021-01-31 13:54

I\'ve read about monoid homomorphism from Monoid Morphisms, Products, and Coproducts and could not understand 100%.

The author says (emphasis original):

4条回答
  •  暖寄归人
    2021-01-31 14:23

    Colloquially a homomorphism is a function that preserves structure. In the example of the length function the preserved structure is the sum of the lengths of two strings being equal to the length of the concatenation of the same strings. Since both strings and integers can be regarded as monoids (when equipped with an identity and an associative binary operation obeying the monoid laws) length is called a monoid homomorphism.

    See also the other answers for a more technical explanation.

提交回复
热议问题