One may also start with a contravariant left-exact functor F; the resulting right-derived functors are then also contravariant.
Мы также можем начинать с контравариантного точного слева функтора F; получающиеся правые производные функторы тогда также будут контравариантны.