Functor category (category theory)

In elegant introspection, category theory can not only describe categories of categories, but categories of functors and natural transformations between them.

Definition