Of course, various things have to be checked: the end result does not depend on the given injective resolution of X, and any morphism X → Y naturally yields a morphism RiF(X) → RiF(Y), so that we indeed obtain a functor.
Конечно, требуется проверить несколько вещей: что результат не зависит от выбора инъективной резольвенты X и что любой морфизм X → Y естественным образом порождает морфизм RiF(X) → RiF(Y), так что мы действительно получаем функтор.