関数一元論って 集合全体のクラスからそれへの関数を考える話ですか
functor