De esta manera disponemos de un funtor contravariante de C en la categoría Func(C,Set) de los funtores contravariantes de C en Set.