ScalingStacks

Axiom (C.1: Strong generation). The functor $f$ is dense, or, equivalently in the language of [29, 4.4.2], it strongly generates $\mathcal{C}$. That is, the left Kan extension of $f$ along itself is the identity functor on $\mathcal{C}$.