If is a natural transformation between functors , and is another functor, then we can form the natural transformation by defining .
If on the other hand is a functor, the natural transformation is defined by .