is an isomorphism in D, then η is said to be a naturalisomorphism (or sometimes natural equivalence or isomorphism of functors).
Natural transformations arise frequently in conjunction with adjoint functors.
The natural transformations from a representable functor to an arbitrary functor F : C → Set are completely known and easy to describe; this is the content of the Yoneda lemma.
Feeds |
Contact