Si "F" y "G" son funtores (covariantes) entre las categorías "C" y "D", entonces una transformación natural η de "F" a "G" asocia a cada objeto "X" en "C" un morfismo η : "F"("X") → "G"("X") en "D", tal que para cada morfismo "f" : "X" → "Y" en "C" tenemos