3 ms·

I'm surprised to read this coming from you.

• dllthomas 9y ago
  It seems "endomorphism" is used both ways (in, presumably, different contexts). https://ncatlab.org/nlab/show/endomorphism https://ncatlab.org/nlab/show/endomorphism I think "endomorphism is a homomorphism ..." is more common, but notably is not the usage in Haskell (https://hackage.haskell.org/package/base/docs/Data-Monoid.html#t:Endo https://hackage.haskell.org/package/base/docs/Data-Monoid.ht...)
  • catnaroek 9y ago
    Of course, Haskell's `Endo` is a type constructor for `Hask`-endomorphisms, but more interesting categories exist. Tell me with a straight face ring and field endomorphisms aren't interesting.