ScalingStacks

Remark 10. The fact that $R_{f,-}$ is a modification can be expressed equivalently by saying that $({\to}\otimes{\to})$ commutes. (Note that $(f\otimes-)R_{B,-}$ and $R_{A,-}(-\otimes f)$ are pseudonatural transformations in an obvious way.)