A natural transformation Φ = {Φ_C :F(C)->D(C)} between functors F, G:ℭ->D of categories ℭ and D is said to be a natural isomorphism if each of the components is an isomorphism in D.

category | category theory | functor | morphism | natural transformation | object | tensor category