Let C,D be categories, and F:C⇒D be an arbitrary functor. A global element of F is simply a natural transformation 1⇛F.