Functor => Pointed => Applicative => Monad
twhitehead at gmail.com
Thu Dec 2 22:41:04 CET 2010
On November 30, 2010 00:32:18 wren ng thornton wrote:
> Essentially, for T :: * -> *, pointedness is saying that there is a
> trivial embedding of the parameter, a, into T a; whereas functoriality
> is saying that T is structural over its parameter. Surely the latter is
> "more complicated", but they're rather different concepts.
I always enjoy your input. Would you be able to expound on the intuition
behind "functoriality is saying that T is structural over its parameter"?
(I don't think I'm following what you mean by "stuctural over its parameter")
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: This is a digitally signed message part.
More information about the Libraries