Good points. > I don't even have a terribly good way to do that with the word "function" This is something I have internalized: function is a map is a map is

Good points. > I don't even have a terribly good way to do that with the word "function" This is something I have internalized: function is a map is a map is a map from one set to another. This is the reason I think that Functor is not such a bad name.