if $f : X \to Y$ in $\mathcal{P}$ and $\mathcal{F}' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A}'_ X)$, then $R^ if_{\tau ', *}\mathcal{F}' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A}'_ Y)$ for $i \geq 0$.
if $f : X \to Y$ in $\mathcal{P}$ and $\mathcal{F}' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A}'_ X)$, then $R^ if_{\tau ', *}\mathcal{F}' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A}'_ Y)$ for $i \geq 0$.
Comments (0)