Functor category (source code)

= Functor category
{title2=$[\mathcal C,\mathcal D]$}
{wiki}

The functor category has functors $\mathcal C\to\mathcal D$ as objects and natural transformations as morphisms.