# Kerodon

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

Go back to the page of Proposition 5.4.6.12.

Comment #1549 by Claudius Heyer on

In the proof of (1), in the sentence starting with “Then $\alpha$ can be lifted uniquely...” there are two typos: $\alpha$ should be $\overline{\alpha}$ and $\operatorname{Fun}(\partial\Delta^{n-1},\mathcal D)$ should be $\operatorname{Fun}(\partial\Delta^n,\mathcal D)$.

Also, it seems that $\widetilde{\alpha}$ should be an isomorphism of the form $\widetilde{\sigma}' \to \sigma''|_{\partial\Delta^n}$ ?

Comment #1550 by Claudius Heyer on

In the first line in the proof of (3), it should be “deformation retract of $\mathcal D$”.

Comment #1560 by Kerodon on

Yep, thanks!

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