# Kerodon

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

Go back to the page of Lemma 4.5.8.10.

Comment #611 by Tim Holzschuh on

Typo at the end of $(b)$: there is a superfluous ")". Typo in the third diagram: $c_Y$ should probably be $c_{X', Y}$

Typos after listing the properties:

• "Writing $X$ as the filtered colimit of its finite simplicial subsets ..."
• "If $X=\emptyset$, then $c_X$ is an isomorphism ...": $c_X$ should read $c_{X,Y}$.

You also write: "... and also for $n=0$ because $\Delta^0$ is a retract of $\Delta^1$ ...", but never show/mention that retracts of good simplicial sets are good (maybe on purpose of course!).

Comment #626 by Kerodon on

Yep. Thanks!

Comment #1144 by Xiaofa Chen on

Maybe typo at the end of ($c$): $v$ is an inner anodyne by virtue of Proposition 4.3.6.4.

Comment #1145 by Kerodon on

Yep. Thanks!

Comment #1309 by Bogdan Zavyalov on

noting that the upper and lower squares are categorical pushouts

I guess it "upper and lower" should be "back and front".

Comment #1318 by Kerodon on

Yep. Thanks!

There are also:

• 2 comment(s) on Chapter 4: The Homotopy Theory of $\infty$-Categories
• 4 comment(s) on Section 4.5: Equivalence

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).