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 of some object:
There are type operators available for components in Arrow/Scope/Event: