Natural transformation
https://en.wikipedia.org/wiki/Natural_transformation
Aa natural transformation provides a way of transforming one functor into another while respecting the internal structure (the composition of morphisms) of the categories involved.
Hence, a natural transformation can be considered to be a "morphism of functors". Indeed, this intuition can be formalized to define so-called functor categories.
Natural transformations are, after categories and functors, one of the most fundamental notions of category theory and consequently appear in the majority of its applications.
Last updated