Editing Functor category (section)

{{Short description|Mathematical structures in category theory}}
In [[category theory]], a branch of [[mathematics]], a '''functor category''' <math>D^C</math> is a category where the objects are the [[functor]]s <math>F: C \to D</math> and the [[morphism]]s are [[natural transformation]]s <math>\eta: F \to G</math> between the functors (here, <math>G: C \to D</math> is another object in the category). Functor categories are of interest for two main reasons: 
* many commonly occurring categories are (disguised) functor categories, so any statement proved for general functor categories is widely applicable;
* every category embeds in a '''functor category''' (via the [[Yoneda embedding]]); the functor category often has nicer properties than the original category, allowing certain operations that were not available in the original setting.