Lemma 24.29.4. Let $(f, f^\sharp ) : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D})$ be a morphism of ringed topoi. Let $\mathcal{A}$ be a differential graded $\mathcal{O}_\mathcal {C}$-algebra. Let $\mathcal{B}$ be a differential graded $\mathcal{O}_\mathcal {D}$-algebra. Let $\varphi : \mathcal{B} \to f_*\mathcal{A}$ be a homomorphism of differential graded $\mathcal{O}_\mathcal {D}$-algebras. Then

is right adjoint to

## Comments (0)