Definition:Functor Category

Definition
Let $C$ and $D$ be categories.

The functor category $\map {\operatorname{Funct} } {C, D}$ is the category with:

Also denoted as
The functor category van also be denoted $\map {\operatorname{Fun} } {C, D}$, $\sqbrk {C, D}$ or $D^C$, in analogy to the set of all mappings.

Also see

 * Functor Category is Category
 * Definition:Natural Isomorphism