Si η : "F" → "G" es una transformación natural entre los funtores "F","G" : "C" → "D", y "H": "D" → "E" es otro funtor, entonces se puede formar la transformación natural "H"η : "HF" → "HG" definiendo ("H"η) = "H"(η).