ScalingStacks

Observe that the maps (4) behave well with respect to compositions:

(5)

$$\Psi_{Z^{\prime};G^{\prime}}\circ\Psi_{Z;G}=\Psi_{Z\cup Z^{\prime};G\cup G^{\prime}}.$$