functor って一見すると奇妙な概念のように見えるけど、実はあらゆる射(morphism)の一般化になっているので、実はとても自然な概念らしい