A Natural transformation that is an Isomorphism

a natural isomorphism is precisely an isomorphism in the Functor category

Meaning of "natural isomorphism in variables" when not specifying functor explicitely

https://math.stackexchange.com/questions/622589/in-categorical-terms-why-is-there-no-canonical-isomorphism-from-a-finite-dimens