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 some category is a mapping at some object:
There are type operators available for components of Arrow/Scope/Event: