Dadas dos categorías formula_135, formula_139, y dos funtores covariantes formula_130 y formula_157, hay una transformación natural formula_158 entre formula_159 y formula_160 si tiene: