[Haskell-cafe] What do you call Applicative Functor Morphism?
fischer at nii.ac.jp
Sat Nov 6 02:09:13 EDT 2010
I'm curious and go a bit off topic triggered by your statement:
On Nov 6, 2010, at 12:49 PM, roconnor at theorem.ca wrote:
> An applicative functor morphism is a polymorphic function,
> eta : forall a. A1 a -> A2 a between two applicative functors A1 and
> A2 that preserve pure and <*>
I recently wondered: why "morphism" and not "homomorphism"?
"In abstract algebra, a homomorphism is a structure-preserving map
between two algebraic structures"
"In mathematics, a morphism is an abstraction derived from structure-
preserving mappings between two mathematical structures."
One difference is "absract algebra ... algebraic structures" vs
"mathematics ... mathematic structures" another difference is the
"abstraction derived from" part in the second phrase.
So for the `Monoid` class, I'd say "monoid homomorphism" but I'm
unsure whether `Applicative` counts as an algebraic structure or calls
for using "morphism" instead.
Is there a deeper reason why people use "morphism" and not
"homomorphism" or is it just because it's shorter?
More information about the Haskell-Cafe