VY
You might think (as I did, originally) that the requirement that a homomorphism of monoids preserve the unit is redundant. After all, we know that for all
The problem is that
—
что это может означать? почему только саб-моноид?
это из Бартоша, https://bartoszmilewski.com/2015/07/21/free-monoids/
a:h a * h e = h (a * e) = h aSo
h e acts like a right unit (and, by analogy, as a left unit).The problem is that
h a, for all a might only cover a sub-monoid of the target monoid.—
что это может означать? почему только саб-моноид?
это из Бартоша, https://bartoszmilewski.com/2015/07/21/free-monoids/
