In category theory, a branch of mathematics, a functor category {\displaystyle D^{C}} is a category where the objects are the functors F:C\to D and the morphisms are natural transformations \eta: F \to G between the functors. Wikipedia