Natural transformation η: F ⇒ G

A family of morphisms η_A: F(A) → G(A) commuting with every morphism of C. Morphisms between functors — arrows between arrows.