olemus
kategooriate A ja B vaheliste funktorite F ja G seos,
mille alusreegel n seab kategooria A igale ühikule e
vastavusse kategooria B elemendi n(e) nii, et
(i) n(e) kuulub hulka Mor(F(e),G(e))
(ii) kui x kuulub hulka Mor(e, e'), siis
n (e' ) × F (x ) = G (x ) × n (e )
=
a function that translates one functor into another

ülevaateid
https://mathworld.wolfram.com/NaturalTransformation.html

http://www.math3ma.com/mathema/2017/2/6/what-is-a-natural-transformation

https://en.wikibooks.org/wiki/Category_Theory/Natural_transformations

https://en.wikipedia.org/wiki/Natural_transformation

https://en.wikipedia.org/wiki/Extranatural_transformation