ScalingStacks

Axiom (C.3: Internal Homs for correspondences). For any morphism $\eta\colon X\to f(C_{i})$ of $\mathcal{C}$, the fiber product functor

$$\eta^{*}\colon\mathcal{C}_{/f(C_{i})}\to\mathcal{C}_{/X}$$

preserves colimits.