functor category

Definition

Given functors $C$ $C$ and $D$ $D$ , the functor category - written $[C, D]$ $[C, D]$ or $D^C$ $D^{C}$ - is the category whose
- class of objects is the collection of all functors $F: C \to D$
- morphisms are natural transformations between those functors