Gaby,
I think my disagreement with you about whether List is an
"endofunctor" is not very fundamental. Instead it is mostly a matter
of terminology. My starting point is the mathematical definition of
endofunctor in category theory. But as someone else posted to this
list recently: category theo
Bill Page writes:
| One clarification. Actually despite what Gaby wrote in an earlier
| email, I still don't think it is quite correct to claim that a functor
| such as List is an endofunctor, at least not in the category-theoretic
| sense.
Unless, you have a very exotic definition of endofuncto
