Let be categories, and be an arbitrary functor.
A global element of is simply a natural transformation .