Functor is a mapping between categories, natural transformation is a mapping between functors. Only functors of the same variance could form a natural transformation.
Natural transformation between covariant functors:
Natural transformation between contravariant functors:
Component of a natural transformation is a mapping between functors with identity morphism:
There are type operators available for components in Arrow and Scope categories: