ScalingStacks

There is an isomorphism of differential pointed categories

(7.4.4)

$${\mathcal{S}}^{\bullet}(Z^{\operatorname{opp}\nolimits})\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}{\mathcal{S}}^{\bullet}(Z)^{\operatorname{opp}\nolimits},\ I\mapsto I,\ \theta\mapsto(\theta_{s}^{-1})_{s}.$$