ScalingStacks

Theorem 1 The above correspondence extends uniquely to a 2-functor

$${\mathcal{F}}:\mathcal{C}\to\widehat{\mathbb{K}}.$$