[Haskell-cafe] Endo a, endomorphisms

[Tony Zorman]

On Sun, Dec 05 2021 14:39, Adrian via Haskell-Cafe wrote:
> According to Algebra [Hungerford 74], an endomorphism is an
> endofunction that is a homomorphism.  A set of endomorphisms is quite
> distinct from a set of endofunctions in this regard.

What counts as a "homomorphism" is very dependent on the context that
you're in.  Here, we are not studying some exotic algebraic structure,
but really just functions over a set.  In particular, "(homo)morphism"
becomes an alias for "function".