← 返回范畴论专题Functor- #category_theory- a functor is structure-preserving mapping of category, for both object and morphism- map (f . g) = map f . map g, coz functor preserving composition structure preserving mapping- structure preserving mapping