http://d.hatena.ne.jp/yoriyuki/20050822#p1 集合全体の圏から集合全体への関数は考えられないので、関数っぽいものとしてファンクターと呼ぶ。 あ、ファンクたーって、そういう意味（関数っぽいけど関数じゃないかもしれないもの）だったのですか。一つ賢…