That is, a natural transformation is a natural isomorphism if and only if there exists a natural transformation such that and .
Преобразование formula_45 не будет естественным даже в простейшем случае одномерного пространства над полем действительных чисел.