# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$

Go back to the page of Lemma 1.4.6.9.

Comment #82 by Carles Sáez on

Typo: in part a) of the statement, and also in the proof, the following formula appears: $(B_{\bullet } \times \Lambda ^2_1) \coprod _{A_{\bullet } \times \Lambda ^2_1 } (A_{\bullet } \times \Delta ^2) \subseteq A_{\bullet } \times \Delta ^2$. I think it should be: $(B_{\bullet } \times \Lambda ^2_1) \coprod _{A_{\bullet } \times \Lambda ^2_1 } (A_{\bullet } \times \Delta ^2) \subseteq B_{\bullet } \times \Delta ^2$ with $B_\bullet$ instead of $A_\bullet$ in the right hand side.

Comment #85 by Kerodon on

Yep. Thanks!

Comment #211 by Eye on

Typos: in the first chain of inclusions, $\subset$ needs to be replaced by $\subseteq$ to account for the case $j=0$; three instances of $Y_j$ need to be replaced by $Y(j)$; in the last sentence of the proof, $Y(m+2)$ needs to be replaced by $Y(m+1)$.

Comment #215 by Kerodon on

Yep. Thanks!

There are also:

• 11 comment(s) on Chapter 1: The Language of $\infty$-Categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).