Hello,
I'm curious and go a bit off topic triggered by your statement:
On Nov 6, 2010, at 12:49 PM, rocon...@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"?
Wikipedia says:
"In abstract algebra, a homomorphism is a structure-preserving map
between two algebraic structures"
and
"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?
Sebastian
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
