functor

http://d.hatena.ne.jp/yoriyuki/20050822#p1

集合全体の圏から集合全体への関数は考えられないので、関数っぽいものとしてファンクターと呼ぶ。

あ、ファンクたーって、そういう意味(関数っぽいけど関数じゃないかもしれないもの)だったのですか。一つ賢くなりました。