Functor => Pointed => Applicative => Monad

Tyson Whitehead twhitehead at
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.

Hi Wren,

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")

Thanks!  -Tyson
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
URL: <>

More information about the Libraries mailing list