5 Dec
2021
5 Dec
'21
9:56 a.m.
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".