ScalingStacks

Let \(k \geq 0\) and \(m \geq n \geq -2\). Given a commuting (solid) square in \(\mathrm{Cat}_{(\infty, {k})}\) where \(F\) is \(n\)-surjective and \(G\) is \(m\)-faithful. Then the space of (dashed) lifts is \((m-n-2)\)-truncated.