ScalingStacks

Remark 3.12. In the setting of simplicial commutative rings, and for $f:X\to Y$ a bounded, separated, quasi-compact relative derived algebraic space, the following results can essentially be found in Proposition 5.5.5 of Lurie’s thesis. The arguments in this section are an expanded version of parts of the arguments there, which extend largely unchanged to any reasonable setting for derived algebraic geometry such as $\mathcal{E}_{\infty}$-ring spectra.