Kerodon

Little typos: 1. In the first paragraph of the proof, “categorical pullback sqaure” should probably be “categorical pullback square”. 2. A bit later, “$(\kappa,\lambda ))$-cocomplete” seems to have an extra closing parenthesis. 3. In the next sentence, “$(\kappa,\lambda ))$-accessible” also seems to have an extra closing parenthesis. 4. Near the end of the proof, “by virtue Corollary 9.4.2.14” should probably be “by virtue of Corollary 9.4.2.14”, or simply “by Corollary 9.4.2.14”.

Moreover, the phrase “$(\kappa,\lambda)$-accessible” in that sentence is likely a leftover from an earlier formulation, since the theorem is proving that $\mathcal{C}_{\pm}$ is $(\kappa,\lambda)$-compactly generated.

Yep. Thanks!