I am considering functions of a single argument of type T that return an argument of type T. I seem to vaguely remember that there is a name for such functions, maybe homo-something. Is there such a term?
After an hour-long wiki-round, it seems that the corresponding term will be "endofunction".
http://en.wikipedia.org/wiki/Endomorphism#Endofunctions_in_mathematics