Dadas dos categorías formula_1 y formula_44, diremos que un funtor covariante formula_130 es: