Las transformaciones naturales son, después de las categorías y de los funtores, una de las nociones más básicas del álgebra categórica y por lo tanto aparecen en la mayoría de sus usos.