Page "Category theory" Paragraph 51

A natural transformation is a relation between two functors.

Functors often describe " natural constructions " and natural transformations then describe " natural homomorphisms " between two such constructions.

Sometimes two quite different constructions yield " the same " result ; this is expressed by a natural isomorphism between the two functors.