在范畴论中,Functor的概念如下: <a href="...