In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e. 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.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| rdfs:seeAlso | |
| foaf:depiction | |
| thumbnail | |
| is subsequent work of |