Functor category

- #category_theory

- object are functors from C to D, Fun(C, D), or [C, D] or D^C, morphisms are natural transformation.

- composition just morphism composition(vertical composition of functor).

- vertical and horinzontal composition of functor