Kerodon

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

Comments on Lemma 4.4.4.8

Go back to the page of Lemma 4.4.4.8.

Comment #445 by Haoqing on June 05, 2020 at 08:03

a small typo in the notation of the left horn in " $\Delta ^1 \simeq \{ x\} \times \operatorname{N}_{\bullet }( \{ 0,1\} ) \hookrightarrow B \times \Lambda ^{n_0} \xrightarrow {F_0} \operatorname{\mathcal{C}}$ "

Comment #446 by Kerodon on June 05, 2020 at 15:04

Yep. Thanks!

Comment #1854 by Yuno Suzuki on April 14, 2023 at 07:41

In the statement, $F : B \times \Delta^n \to X$ should be $F : B \times \Delta^n \to Y$ . In the proof, $F_K : K \times \Delta^n \to X$ in the 2nd line from the top should be $F_K : K \times \Delta^n \to Y$ , and " $\partial\Delta^m$ into $B$ " in the 7th line should be " $\partial\Delta^m$ into $K_{\mathrm{max}}$ ".

Comment #1856 by Kerodon on April 19, 2023 at 14:35

Yep. Thanks!

There are also:

2 comment(s) on Chapter 4: The Homotopy Theory of $\infty $-Categories
2 comment(s) on Section 4.4: Isomorphisms and Isofibrations
4 comment(s) on Subsection 4.4.4: Natural Isomorphisms

Comments on Lemma 4.4.4.8

Post a comment