[Haskell-cafe] Endo a, endomorphisms

[Tom Ellis]

On Sun, Dec 05, 2021 at 02:02:09PM +0000, Adrian via Haskell-Cafe wrote:
> In the Data.Monoid library there is a monoid type instance for Endo
> a that is described in the following manner:
> 
> > The monoid of endomorphisms under composition.
> 
> I understand how it is a monoid of endofunctions, but am unclear on
> how it is a monoid of endomorphisms.

I'm not sure what you mean.  The morphisms in this case are exactly
functions.  "Endomorphism" and "endofunction" have the same meaning in
this context.

Tom