Definition:Natural Transformation between Covariant Functors