Naturality Square

Given two Categories and ,
and two functors ,
and a Natural Transformation between them,
and given a Morphism between Objects and
a naturality square of at is:

By the definition of Natural Transformation,
this is always a Commutative Diagram i.e.