2 ms·
It seems "endomorphism" is used both ways (in, presumably, different contexts). https://ncatlab.org/nlab/show/endomorphism https://ncatlab.org/nlab/show/endomo
by 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 agoOf 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.