Lemma 20.31.5. Let $f : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. The relative cup product of Remark 20.28.7 is commutative in the sense that the diagram

is commutative in $D(\mathcal{O}_ Y)$ for all $K, L$ in $D(\mathcal{O}_ X)$. Here $\psi $ is the commutativity constraint on the derived category (Lemma 20.46.5).

## Comments (0)

There are also: