高次順像

連続写像 $f\colon X \to Y$ について、左完全関手 $f_*\colon \mathsf{Ab}(X) \to \mathsf{Ab}(Y)$ の第 $i$ 右導来関手を $R^if_*$ と書き、$R^if_*\mathcal F$ を $\mathcal F$ の第 $i$ 高次順像という。