Si por otra parte "K": "B" → "C" es un funtor, la transformación natural η"K": "FK" → "GK" se define por (η"K") = η.