Kerodon

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

Comments on Proposition 4.5.3.11

Go back to the page of Proposition 4.5.3.11.

Comment #472 by Haoqing on June 30, 2020 at 14:33

typo: $q$ should be $f$ in the statement of the Proposition.

Comment #474 by Kerodon on June 30, 2020 at 17:12

Yep. Thanks!

Comment #609 by Tim Holzschuh on August 28, 2020 at 02:34

Typo in the proof:

"... $s^{\ast }: \pi _0(\operatorname{Fun}(X, \operatorname{\mathcal{C}})^{\simeq } \rightarrow \pi _0( \operatorname{Fun}(Y, \operatorname{\mathcal{C}})^{\simeq } )$ ...": the domain misses a closing bracket.

"We will complete the proof by showing that $u$ is an isomorphism in the $\infty$ -category $\operatorname{Fun}(X, \operatorname{\mathcal{C}})$ ."

Comment #622 by Kerodon on August 28, 2020 at 20:25

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

Comments on Proposition 4.5.3.11

Post a comment