Remark 5.42.
For a set \(\Sigma\), Theorem 5.39 and Proposition 5.32 show that the congruence \(\Sigma^c=(\Sigma^{\Delta})^m\) is of small generation. Thus the quotient by the generated congruence exists as a quotient logos.
Higher Topos Theory Section 5.3: Congruences, modalities, and saturated classes
Remark 5.42.
For a set \(\Sigma\), Theorem 5.39 and Proposition 5.32 show that the congruence \(\Sigma^c=(\Sigma^{\Delta})^m\) is of small generation. Thus the quotient by the generated congruence exists as a quotient logos.