2 Dec
2010
2 Dec
'10
4:41 p.m.
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