Remark 18.33.7. Let $\mathcal{C}$ be a site. Suppose given a commutative diagram of sheaves of rings

$\xymatrix{ \mathcal{B} \ar[r] & \mathcal{B}' \\ \mathcal{A} \ar[u] \ar[r] & \mathcal{A}' \ar[u] }$

a $\mathcal{B}$-module $\mathcal{F}$, a $\mathcal{B}'$-module $\mathcal{F}'$, and a $\mathcal{B}$-linear map $\mathcal{F} \to \mathcal{F}'$. Then we get a compatible system of module maps

$\xymatrix{ \ldots \ar[r] & \mathcal{P}^2_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \ar[r] & \mathcal{P}^1_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \ar[r] & \mathcal{P}^0_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \\ \ldots \ar[r] & \mathcal{P}^2_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[r] \ar[u] & \mathcal{P}^1_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[r] \ar[u] & \mathcal{P}^0_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[u] }$

These maps are compatible with further composition of maps of this type. The easiest way to see this is to use the description of the modules $\mathcal{P}^ k_{\mathcal{B}/\mathcal{A}}(\mathcal{M})$ in terms of (local) generators and relations in the proof of Lemma 18.33.3 but it can also be seen directly from the universal property of these modules. Moreover, these maps are compatible with the short exact sequences of Lemma 18.33.6.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).