ScalingStacks

First of all, observe the equivalences and the adjunction Lemma B.2.3 furnishes the factorization system \((\mathcal L^{\underline{\mathcal A}} , \mathcal R^{\underline{\mathcal A}})\) of small generation on \(\mathrm{Fun}(\underline{\mathcal A}, \underline{\mathcal C})\). Hence, we prove part ([00L4]) by applying Lemma B.2.7, whose hypotheses it remains to show are satisfied.