Functor category

https://en.wikipedia.org/wiki/Functor_categoryarrow-up-right

In a functor category, the morphisms are natural transformations.

Last updated