ScalingStacks

Notation 11.1. Suppose $\mathcal{R}$ an ordinary category, and suppose $i\colon\mathcal{R}\to\Upsilon_{n}$ a functor. Suppose $T_{0}$ a set of morphisms of $\pre(\mathcal{R})$, and write $T$ for the strongly saturated class of morphisms of $\pre(\mathcal{R})$ it generates.