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