Si η "F" → "G" y ε: "G" → "H" son transformaciones naturales entre funtores "C" → "D", entonces podemos componerlos para conseguir una transformación natural εη: "F" → "H".