Let be Functors. A natural transformation is a family of -morphisms
indexed by objects of such that for all ,
If each is an Isomorphism, we say that is a Natural isomorphism.
Meaning of "natural transformation/isomorphism in variables" when not specifying functor explicitely
Vertical and horizontal composition of natural transformations